7 Commits

Author	SHA1	Message	Date
Leni Aniva	538ba6e7d7	Store states instead of goals ... 1. Rename {Commands, Protocol}, and {Symbols, Symbol} 2. Store the root mvarId in the proof state along with goal indices 3. Add diagnostics function which prints out the state 4. Bump version to 0.2.6 (breaking change) Documentations pending	2023-10-15 17:15:23 -07:00
Leni Aniva	7a5fe554ba	Add holes test stub ... Move tests into their own namespaces	2023-10-06 17:31:36 -07:00
Leni Aniva	7771408de1	Add expression sexp printing (2/2)	2023-08-14 21:43:40 -07:00
Leni Aniva	9eadd1d4d4	Add expression sexp printing (1/2, tests pending)	2023-08-14 17:07:53 -07:00
Leni Aniva	5cedb9d88c	version bump, restructure	2023-08-13 21:19:06 -07:00
Leni Aniva	6a71dad389	Add option format for proof output and test cases	2023-05-22 14:49:56 -07:00
Leni Aniva	1bf929b1e4	Add testing stub	2023-05-22 11:47:46 -07:00