Skip to content

Full Release Very Soon!

Pre-release
Pre-release

Choose a tag to compare

View all tags
@Girjoaba Girjoaba released this 20 Aug 11:01
· 32 commits to main since this release
v0.2-beta
10b36e7
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Before Running

Make sure you have jdk 17 installed.
This should be the only dependency required before running the .jar file.

What's Changed

  • New Feature: Practice Proofs added
  • Fixed bugs: boxed constants can be defined, subproof generation and many more
  • UI improvements: better keyboard shortcuts, display adjusted for more resolutions, shortcut for quick check
  • Deployment by @Girjoaba in #46
  • Beta 02 by @Girjoaba in #53

Full Changelog: v0.1-beta...v0.2-beta

Contributors

Girjoaba
Assets 3
Loading