Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
This is an archived project. Repository and other project resources are read-only.
Tags
Tags give the ability to mark specific points in history as being important
0.2.2
718b71c1
·
bump version
·
Oct 28, 2024
version 0.2.2
0.2.1
4d70b0cd
·
make predicate levels more general
·
Oct 28, 2024
version 0.2.1
0.2.0
58c870d2
·
add setoid isomorphisms
·
Oct 28, 2024
version 0.2.0
0.1.0
f0d3dc01
·
Merge branch 'desc' into 'main'
·
Oct 28, 2024
version 0.1.0
v0.1.0
fee8d631
·
update desc
·
Oct 28, 2024
initial release