Pantograph/Pantograph
Leni Aniva a698a4250f feat: Unfold aux lemmas when printing root expr 2024-03-28 18:56:42 -07:00
..
Environment.lean fix: Use Arrays only in the ABI 2024-03-14 22:40:14 -07:00
Goal.lean feat: Prevent crash during rootExpr call 2024-01-30 17:22:20 -08:00
Library.lean feat: Unfold aux lemmas when printing root expr 2024-03-28 18:56:42 -07:00
Protocol.lean fix: Use Arrays only in the ABI 2024-03-14 22:40:14 -07:00
Serial.lean fix: Pass options by reference 2024-03-11 21:31:59 -07:00
Version.lean chore: Version bump to 0.2.13 2024-03-16 19:00:28 -07:00