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 |
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 |