hwixley/AR-Coursework1

Theorem proving in Isabelle

Isabelle

Readme
0Issues
0Stargazers
1Watcher

AR - Coursework 1

Topics

first-order-logic higher-order-logic theorem-proving

Share to

Contact site admin: Geeks.