LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Python

ProofFrog

A tool for verifying game-hopping proofs

PythonEmerging

Stars

—

Forks

—

Contributors

5

Last push

3mo ago

Recent commits

Latest commits.

Update README.md
4f14c4cDouglas Stebila3mo ago
Merge branch 'main' into main
66818d3Douglas Stebila3mo ago
Merge pull request #168 from ProofFrog/dev
e7e9379Douglas Stebila3mo ago
Get rid of unused examples
714f12fDouglas Stebila3mo ago
Update examples pin
2aa8d87Douglas Stebila3mo ago

Broaden search path for examples

79659f9Douglas Stebila3mo ago

Add semantic error when '<-' is used with non-type expressions (#167)

101c90dDouglas Stebila3mo ago

Add lemma support for modular proof composition (#166)

83e2b2cDouglas Stebila3mo ago

Top contributors

Builders behind this project.