Rare find

PyPantograph. A Machine-to-Machine Interaction System for Lean 4.

github.com/stanford-centaur/PyPantograph

@stanford-centaur

Problem

Audience

Updates

No founder updates yet. Check back soon.