Skip to content

a tutorial draft about SSReflect tactics #37

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
grianneau wants to merge 7 commits into
base: main
Choose a base branch
from
Open

a tutorial draft about SSReflect tactics #37

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
1513eca
a tutorial draft about SSReflect tactics
Aug 13, 2024
a3b6a8e
save
Aug 19, 2024
1e5f0a2
a tutorial draft about SSReflect tactics for vanilla Rocq (Coq) users
Aug 13, 2024
190f271
a tutorial draft about SSReflect tactics for vanilla Rocq (Coq) users
Aug 19, 2024
b9bfe65
new version of the tutorial about some vanilla and SSReflect tactics
Aug 20, 2024
7068ffc
Merge pull request #1 from grianneau/Rocq_tactics
grianneau Aug 26, 2024
48f5224
fix typo
Aug 26, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading