content/tools/proof-assist/blazeit.md

+++ title = 'BlazeIt' subtitle = 'Proof Assistant' links = [ { title = "Source Code", url = "https://github.com/pjreddie/blazeit", icon = 'fa-solid fa-code' }, ] applications = ["Theorem Prover"] developers = [] licenses = ["Yolo"] inputs = [] interfaces = ["CLI"] maintenance = ["Not Maintained"] updated_year = 2015 draft = false date = 2025-08-22 +++

{{}}

A proof assistant.