Skip to content
GitLab
Explore
Sign in
Tags give the ability to mark specific points in history as being important
0.1.8+prop
37625954
·
adding square and cube example, with a cheat
·
Oct 18, 2024
0.1.7+prop
c31d5b7d
·
+ citation
·
Jul 19, 2024
0.1.6
e0708188
·
Better examples about reduction modulo p (#36)
·
Apr 22, 2024
0.1.5
b5bd4bfc
·
Merge pull request #34 from coq-community/list-finegrained
·
Jan 24, 2024
0.1.4
aff92c4e
·
Merge pull request #29 from coq-community/doc
·
Jan 19, 2024
0.1.3
cc47a1fb
·
fix
·
Jan 15, 2024
0.1.2
24a8785f
·
📝
Clear todos from doc
·
Jan 15, 2024
0.1.1
0d123890
·
📝
Documentation (elpi)
·
Jan 12, 2024
0.1.0
fbc643a4
·
Adding small doc
·
Jan 11, 2024
ESOP2024
dd6ae95e
·
📝
ESOP2024 documentation pointer
·
Jan 06, 2024