schaeff 8015912eab allow continuing an incremental computation, implement final proof compression		2023-04-21 21:09:07 +02:00
..
src	allow continuing an incremental computation, implement final proof compression	2023-04-21 21:09:07 +02:00
.gitignore	update operators section	2021-09-27 22:32:12 +02:00
book.toml	set up mdbook	2018-10-05 10:08:27 +02:00