aniva/Pantograph
A Machine-to-Machine Interaction Interface for Lean 4
Updated 2025-06-16 18:10:30 -07:00