Websites linking back to proofgeneral.inf.ed.ac.uk
1 websites are linking back to proofgeneral.inf.ed.ac.uk in their content.
Total results: 1
Domains on this page: 1
Results:
Proof Generalhttp://portalrankings.com/info/proofgeneral.github.io
A generic Emacs interface for proof assistants.