LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

Pantograph

(Mirror) A Machine-to-Machine Interaction System for Lean 4

OtherEmerging

Stars

1

Forks

—

Contributors

1

Last push

6mo ago

Recent commits

Latest commits.

Merge pull request 'chore: Update lean4-nix' (#326) from build/nix into dev
8daf04aLeni Aniva6mo ago
chore: Update lean4-nix
442b1c0Leni Aniva6mo ago
Merge pull request 'fix: Remove padding hack for delayed mvars' (#325) from delate/instantiate into dev
9512166Leni Aniva6mo ago
fix: Remove padding hack for delayed mvars
736859dLeni Aniva6mo ago
Merge pull request 'chore: Cleanup code and panic in tests' (#323) from test/frontend into dev
a046aedLeni Aniva7mo ago

test: Remove deprecated tests

ede904aLeni Aniva7mo ago

chore: Remove deprecated syntax

aeb2f18Leni Aniva7mo ago

Merge pull request 'fix(delate): MVar number mismatch in `toDelayedMVarInvocation`' (#321) from delate/delayed-mvar into dev

7612c40Leni Aniva7mo ago

Top contributors

Builders behind this project.