tlc

Library for Classical Coq

GitHub
37 stars
6 watching
14 forks
Language: Coq
last commit: 6 months ago
Linked from 2 awesome lists


Backlinks from these awesome lists: