Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
aniva/Pantograph
aniva / Pantograph
Lean 1 0
A Machine-to-Machine Interaction Interface for Lean 4
Updated 2025-07-13 23:15:00 -07:00