Skip to content

Commit

Permalink
Merge pull request #1 from grianneau/Rocq_tactics
Browse files Browse the repository at this point in the history 
new version of the tutorial about some vanilla and SSReflect tactics
  • Loading branch information
@grianneau
grianneau authored Aug 26, 2024
2 parents 190f271 + b9bfe65 commit 7068ffc
Showing 1 changed file with 812 additions and 324 deletions.
Loading

0 comments on commit 7068ffc

Please sign in to comment.