Popular repositories Loading

1. hol-c hol-c Public

   A proof-of-concept LCF-style interactive theorem prover for HOL(C)

   Scala 4 1

2. n-queens-with-lines n-queens-with-lines Public

   A toy repo to demonstrate to students the use of GitHub actions

   Java 1 1

3. martinberger.github.io martinberger.github.io Public

   HTML