A system designed for interacting with logical statements, offering a programming language-like experience for reasoning and knowledge representation.
Latest commits.
Builders behind this project.
