AdvancedResearch
A research branch of the Piston project (https://www.piston.rs/)
Popular repositories Loading
-
path_semantics
path_semantics PublicA research project in path semantics, a re-interpretation of functions for expressing mathematics
-
monotonic_solver
monotonic_solver PublicA monotonic solver designed to be easy to use with Rust enum expressions
-
pocket_prover
pocket_prover PublicA fast, brute force, automatic theorem prover for first order logic
Repositories
Showing 10 of 64 repositories
- path_semantics Public
A research project in path semantics, a re-interpretation of functions for expressing mathematics
advancedresearch/path_semantics’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…