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-01-28 17:43:55 -08:00