Pantograph/Test
Leni Aniva 6a7830cb71
fix: Remove spurious print
2025-01-24 19:24:54 -08:00
..
Tactic fix: Test failures 2025-01-13 12:28:16 -08:00
Common.lean fix: Test failures 2025-01-13 12:28:16 -08:00
Delate.lean feat: Projection export function 2025-01-24 14:44:09 -08:00
Environment.lean fix: Remove unused variable 2025-01-24 19:06:07 -08:00
Frontend.lean feat: Gate type error collection behind flag 2025-01-07 19:40:03 +09:00
Integration.lean chore: Cleanup REPL loop 2025-01-24 19:22:58 -08:00
Library.lean feat: Erase macro scopes in sexp 2024-11-26 12:34:52 -08:00
Main.lean test: Draft tactic test 2025-01-08 22:23:30 -08:00
Metavar.lean fix: Test failures 2025-01-13 12:28:16 -08:00
Proofs.lean fix: Remove spurious print 2025-01-24 19:24:54 -08:00
Serial.lean feat: Goal state pickling 2024-12-05 14:23:55 -08:00
Tactic.lean test: Draft tactic test 2025-01-08 22:23:30 -08:00