w
Repositories
Select a repository to view its commits, contributors, and more.public
mypyvy
A language for symbolic transitions system, inspired by Ivy.
Python
69
14
8
Updated 12 days ago
public
coq-lit
Literate coq blog posts
Python
17
1
0
Updated 22 days ago
public
notes
Dafny
13
1
0
Updated 9 months ago
public
tactics
some Coq tactics I've found useful
Coq
5
0
0
Updated 6 years ago
public
mechanized-metatheory2
Coq
5
2
0
Updated 2 years ago
public
jamesprl
A proof refinement logic in the style of JonPRL for my own edification
Standard ML
3
0
0
Updated 5 years ago
public
ill-formed-expressions
OCaml
3
0
0
Updated 7 years ago
public
miniprl-coq
A port of MiniPRL to Coq
Coq
2
0
0
Updated 8 years ago
public
pretty
Coq
2
0
0
Updated 4 years ago
public
wptp-schedule
Java
1
0
0
Updated 6 years ago
public
wave
1
0
0
Updated 11 years ago
public
PrettyParsing
verified, human-readable, text-based serializers in Coq
Coq
1
1
0
Updated 6 years ago