Leni Aniva 120eb90291 Merge pull request 'chore: Update version' (#195) from chore/version into dev ... Reviewed-on: #195		2025-05-01 10:41:47 -07:00
..
Frontend	fix: Shield tactics from newly created environment	2025-05-01 12:21:32 -04:00
Tactic	merge: branch 'dev' into chore/cleanup	2025-03-08 21:18:45 -08:00
Delate.lean	doc: Fix typo	2025-04-14 23:26:14 -07:00
Elab.lean	fix: Name generation not available due to context	2025-03-10 19:03:14 -07:00
Environment.lean	chore: Update Lean to v4.18.0	2025-04-08 10:58:38 -07:00
Frontend.lean	refactor: InfoTree functions	2024-11-26 12:16:14 -08:00
Goal.lean	fix(goal): Over-eager deduplication of goals	2025-05-01 13:34:27 -04:00
Library.lean	feat(goal): Check unsafe and sorry	2025-05-01 13:05:04 -04:00
Protocol.lean	feat(goal): Check unsafe and sorry	2025-05-01 13:05:04 -04:00
Serial.lean	feat: Pickle constants in goal state	2025-01-13 12:43:42 -08:00
Tactic.lean	chore: Remove all unused auxiliary tactics	2025-03-01 20:12:30 -08:00
Version.lean	chore: Update version	2025-04-20 09:34:28 -07:00