Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 82fc6b5e authored by Ramkumar Ramachandra's avatar Ramkumar Ramachandra
Browse files

[quick_and_dirty] Write unary specs; equiv broken

Also update the coq and coq-equations hashes in the README.
parent 4a2c534b
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment