Repositories Users Organizations

Search

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks

aniva / Pantograph

Lean 1 0

A Machine-to-Machine Interaction Interface for Lean 4

Updated 2025-01-17 23:10:26 -08:00