Leni Aniva 4d4f660f3f chore: Update version		2024-04-11 17:57:24 -07:00
..
Environment.lean	feat: Print recursor rules	2024-04-11 15:35:14 -07:00
Goal.lean	fix: Remove `calcPrevRhs?` in non-calc tactics	2024-04-11 15:03:14 -07:00
Library.lean	feat: Add library bindings for calc	2024-04-11 15:04:36 -07:00
Protocol.lean	Merge branch 'dev' into goal/have-conv-calc	2024-04-11 15:35:30 -07:00
Serial.lean	Merge branch 'dev' into goal/have-conv-calc	2024-04-11 15:35:30 -07:00
Version.lean	chore: Update version	2024-04-11 17:57:24 -07:00