Loreon
Labs
Platform
Docs
Home
Ecosystems
Coq
coq-supplementary
A supplementary Coq workout repository
Coq
Emerging
GitHub
Stars
—
Forks
—
Contributors
2
Last push
15mo ago
Recent commits
Latest commits.
Solve everything
f44f8f8
TimaFrolov
15mo ago
Expr.v
1432bdd
Dmitry Boulytchev
20mo ago
Typing preservation
539b985
Dmitry Boulytchev
20mo ago
Added static semantics for expressions
002f591
Dmitry Boulytchev
20mo ago
Expr massaged
d4b4bef
Dmitry Boulytchev
21mo ago
Extended states little bit
2b91c46
Dmitry Boulytchev
21mo ago
Cleaning
c6d3bf0
Dmitry Boulytchev
26mo ago
Weird definition of prog_wf in StackMachine
2877477
Dmitry Boulytchev
27mo ago
Top contributors
Builders behind this project.
dboulytchev
22 commits
TimaFrolov
1 commits
