LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

Newclid

Automatic solver for plane geometry problems.

OtherEmerging

Stars

—

Forks

—

Contributors

5

Last push

19mo ago

Recent commits

Latest commits.

Rename BFSDDAR to DDARN and refactor DeductiveAgent interface to not constrain init (#9)
9f9c1c4AutoMathïs19mo ago
Rename table equality methods for clarity (#8)
e3613cbAutoMathïs19mo ago
🚚 Rename BFSDDAR to DDARN
c64fd5bAutoMathïs19mo ago
🚚 Rename table equality methods for clarity
3eeb120AutoMathïs19mo ago
👷 Switch CI back to tags pushed and allow manual workflow dispatch
5891ceaAutoMathïs19mo ago

👷 Add pypi publish on realease

c6c1239AutoMathïs19mo ago

32fd508AutoMathïs19mo ago

👷 Add CI for perf tests

67ddc64AutoMathïs19mo ago

Top contributors

Builders behind this project.