Pinned Loading

1. hoice hoice Public

   Forked from hopv/hoice

   A Horn Clause ICE engine.

   Rust 2

2. hashconsing hashconsing Public

   A Rust hashconsing library.

   Rust 30 6

3. rsmt2 rsmt2 Public

   Forked from kino-mc/rsmt2

   A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

   Rust 2

4. collChoSoWel collChoSoWel Public

   Lean 4

5. safeIdx safeIdx Public

   Type-safe indexing library.

   Lean 2

6. experimentalean4 experimentalean4 Public

   Experimenting with lean4

   Lean 1