GitHub repository: lenianiva/Pantograph
Primary language: Lean
Created: 2024-09-24T22:19:35Z
Description: (Mirror) A Machine-to-Machine Interaction System for Lean 4