Pantograph/Pantograph.lean

10 lines
232 B
Plaintext
Raw Permalink Normal View History

2024-11-08 14:41:24 -08:00
import Pantograph.Delate
import Pantograph.Elab
import Pantograph.Environment
import Pantograph.Frontend
2023-10-15 12:31:22 -07:00
import Pantograph.Goal
import Pantograph.Library
import Pantograph.Protocol
2024-11-08 14:49:49 -08:00
import Pantograph.Serial
import Pantograph.Version