Projects per year
Projects
- 1 Finished
Search results
-
Finished
ProofPeer: Collaborative Theorem Proving
Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall
Research output: Working paper