Skip to content

Release 0.7
Compare
Choose a tag to compare
@bdebye bdebye released this 26 Sep 08:45
· 125 commits to master since this release
0.7
5cbe0ab
  1. Add thesis cover for different degrees.
  2. Muti-file document demo.
  3. Full support for axiomatic derivation.
Assets 2