Leni Aniva 4549ae1f65 Merge branch 'misc/version' into tactic/eval		2024-07-06 19:56:31 -07:00
..
Compile	Merge branch 'misc/version' into tactic/eval	2024-07-06 19:56:31 -07:00
Tactic	feat: FFI interface for `evaluate` tactic	2024-06-25 17:10:31 -04:00
Compile.lean	refactor: Move `have` to prograde tactic	2024-06-25 16:58:35 -04:00
Condensed.lean	feat: Condensed interface	2024-06-25 15:13:58 -04:00
Environment.lean	chore: Bump Lean version to 4.10.0-rc1	2024-07-06 19:53:50 -07:00
Expr.lean	chore: Code cleanup	2024-05-20 14:19:10 -07:00
Goal.lean	Merge branch 'misc/version' into tactic/eval	2024-07-06 19:56:31 -07:00
Library.lean	test: Eval instantiate	2024-06-27 14:51:16 -04:00
Protocol.lean	Merge branch 'dev' into goal/mapply	2024-06-12 13:44:49 -07:00
Serial.lean	Merge branch 'serial/expr' into tactic/eval	2024-06-25 16:05:20 -04:00
Tactic.lean	feat: Evaluation tactic	2024-06-23 15:01:51 -07:00
Version.lean	chore: Bump Lean version to 4.10.0-rc1	2024-07-06 19:53:50 -07:00