Implement proof parser

Colonial-Dev · Mar 26, 2024 · 900e50f · 900e50f
1 parent a27000e
commit 900e50f
Show file tree

Hide file tree

Showing 5 changed files with 3,835 additions and 82 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -12,6 +12,9 @@ license     = "AGPL-3.0"
 lto = "fat"
 codegen-units = 1
 
+[profile.dev.package."*"]
+opt-level = 2
+
 [dependencies]
 # GUI
 egui = "0.26.2"