Pantograph/Pantograph
Leni Aniva 2c48ff9e42 Merge branch 'dev' into io/serial 2024-03-30 00:07:46 -07:00
..
Environment.lean test: Catalog has no numeric symbols 2024-03-28 20:44:09 -07:00
Goal.lean test: More diagnostics for tests 2024-03-06 15:14:08 -08:00
Library.lean feat: Instantiation tests 2024-03-29 23:46:08 -07:00
Protocol.lean Merge branch 'dev' into goal/relation 2024-03-29 23:47:09 -07:00
Serial.lean feat: Instantiation tests 2024-03-29 23:46:08 -07:00
Version.lean chore: Version bump 2024-03-28 22:08:22 -07:00