Skip to content

Compact data structures in Coq

Pre-release
Pre-release
Compare
Choose a tag to compare
@affeldt-aist affeldt-aist released this 13 Jun 00:07
· 27 commits to master since this release
0.0.1
579681f
This commit was signed with the committer’s verified signature.
xuanruiqi Xuanrui Qi
GPG key ID: 87F900026E06FBC8
Learn about vigilant mode.

This is a pre-release whose main purpose is to test a forthcoming opam package. It is however already axiom-free and documented by research manuscripts.

Assets 2
Loading