Pinned Loading

1. theorem-prover-kt theorem-prover-kt Public

   A sequent-style theorem prover for first-order logic in Kotlin

   Kotlin 4

2. api-for-theorem-prover api-for-theorem-prover Public

   Various apis for theorem-prover-kt

   Go 1

3. theorem-prover-rs theorem-prover-rs Public

   Rust rewrite of theorem-prover-kt.

   Rust 1

4. logic-game logic-game Public

   Rust