Popular repositories Loading

1. path_semantics path_semantics Public

   A research project in path semantics, a re-interpretation of functions for expressing mathematics

   Rust 169 11

2. poi poi Public

   a pragmatic point-free theorem prover assistant

   Rust 138 7

3. avalog avalog Public

   An experimental implementation of Avatar Logic with a Prolog-like syntax

   Rust 67 3

4. prop prop Public

   Propositional logic with types in Rust

   Rust 62 2

5. monotonic_solver monotonic_solver Public

   A monotonic solver designed to be easy to use with Rust enum expressions

   Rust 46 3

6. pocket_prover pocket_prover Public

   A fast, brute force, automatic theorem prover for first order logic

   Rust 39 1