Popular repositories Loading

1. sigourney sigourney Public

   dodgy solver for word ladder/weaver/https://wordwormdormdork.com/

   OCaml

2. logic-lang logic-lang Public

   a logic programming language written in Lean 4

   Lean

3. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

   Standard ML