Oak is a proof checker focused on simplicity, readability, and ease of use.
Primary LanguageRubyGNU Affero General Public License v3.0AGPL-3.0