5 open source projects by advancedresearch

a pragmatic point-free theorem prover assistant

Library for back tracking with customizable search for moves

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

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

A research project to mix-regulate economy in MMO worlds