This repository has been archived by the owner on Apr 22, 2020. It is now read-only.
Add Coq support#536
Open
tchajed wants to merge 1 commit intogooglearchive:masterfrom tchajed:add-coq-support
+46
Commits
Commits on Apr 4, 2018
- committed
