kth-step / itppv-course

Interactive Theorem Proving course using HOL4
11Updated last year

Alternatives and similar repositories for itppv-course:

Users that are interested in itppv-course are comparing it to the libraries listed below