Leni Aniva 4acd367ca7 chore: Version bump to 0.2.12-alpha		2024-01-30 17:45:32 -08:00
..
Environment.lean	feat: Print parent expression assignment	2024-01-24 18:19:04 -08:00
Goal.lean	feat: Prevent crash during rootExpr call	2024-01-30 17:22:20 -08:00
Protocol.lean	doc: Correct comment about parent filling expr	2024-01-30 16:37:35 -08:00
Serial.lean	test: Option controlled mvar instantiation	2024-01-16 16:44:54 -08:00
Version.lean	chore: Version bump to 0.2.12-alpha	2024-01-30 17:45:32 -08:00