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-07-10 15:30:57 -07:00