|
|
e363e68432
|
remove todos etc
|
2022-01-23 01:20:21 +01:00 |
|
|
|
c21ebb9036
|
document public interface
|
2022-01-23 00:26:49 +01:00 |
|
|
|
4e64eecf0c
|
implementation finished
|
2022-01-22 22:45:40 +01:00 |
|
|
|
cc853a87e2
|
rework theorem family generation
|
2022-01-22 16:19:08 +01:00 |
|
|
|
b1b8f59c1b
|
rework keyval interface
|
2022-01-22 14:43:34 +01:00 |
|
|
|
5c45b89b52
|
dump
|
2022-01-19 15:21:30 +01:00 |
|
|
|
082c075ebb
|
document theorem family declarations
|
2022-01-18 14:45:36 +01:00 |
|
|
|
9e00b49279
|
replace some old syntax with proper macros
|
2022-01-18 11:28:04 +01:00 |
|
