LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Python

hemera

Yet another simple theorem prover

PythonEmerging

Stars

6

Forks

1

Contributors

1

Last push

10d ago

Recent commits

Latest commits.

Add Apache License 2.0
a5e3874Alexandre Rademaker10d ago
readme file
ead6705Alexandre Rademaker76mo ago
removing obsoleted files
775b334Alexandre Rademaker201mo ago
fixed pygraphviz installation
4d9b1b3Alexandre Rademaker201mo ago
fix the instalation instructions
0a9bf26Alexandre Rademaker206mo ago

ignoring python bin files

f289a93Alexandre Rademaker206mo ago

library upgrade

e399749Alexandre Rademaker206mo ago

Retirando caracteres nos comentarios do modulo.

50751bdjefferson209mo ago

Top contributors

Builders behind this project.