Pantograph/Pantograph
Leni Aniva ace2ddf478
feat: `GoalState.tryHave` tactic (tests failing)
2024-04-06 16:33:20 -07:00
..
Environment.lean Merge pull request 'feat: Specify type in echo' (#55) from expr/echo into dev 2024-03-31 16:45:43 -07:00
Goal.lean feat: `GoalState.tryHave` tactic (tests failing) 2024-04-06 16:33:20 -07:00
Library.lean feat: `GoalState.tryHave` tactic (tests failing) 2024-04-06 16:33:20 -07:00
Protocol.lean test: Library test 2024-03-31 16:43:30 -07:00
Serial.lean feat: `GoalState.tryHave` tactic (tests failing) 2024-04-06 16:33:20 -07:00
Version.lean chore: Version bump 2024-03-28 22:08:22 -07:00