LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Rocq Prover

LambdaGenesis

Recursive functions from scratch in pure functional languages

Rocq ProverEmerging

Stars

1

Forks

1

Contributors

1

Last push

12mo ago

Recent commits

Latest commits.

Add Rust
43a3762Tomas Glozar12mo ago
Add Ackermann to README
374ae89Tomas Glozar12mo ago
Add Standard ML
136af76Tomas Glozar12mo ago
Add newline
47a6ea0Tomas Glozar12mo ago
Reference Number Notations in README
2bfa3cbTomas Glozar12mo ago

Add Rocq inductive version

f628060Tomas Glozar12mo ago

Add Rocq Church version

ccba8ceTomas Glozar12mo ago

README: Move headings one level down

af93af3Tomas Glozar12mo ago

Top contributors

Builders behind this project.