3 Commits

Author	SHA1	Message	Date
Brando Miranda	18ebf0bb7d	making progres, put header in output of toy model, then about to execute lean so need to figure out how pypanto wants src hdear and thm	2024-06-03 12:50:41 -07:00
Leni Aniva	8f64920789	feat: expression types and tests	2024-04-22 13:00:06 -07:00
Leni Aniva	1905b56862	feat: System stub	2024-04-19 16:47:35 -07:00