formalized.si
Popular repositories Loading
-
symmetry-narya
symmetry-narya PublicMachine-checked formalization of chapters 2 and 3 of the book Symmetry in the Narya proof assistant
Common Lisp 1
-
redstone-verify
redstone-verify PublicFormal verification of Minecraft redstone circuits: SAT + LRAT certificates, Lean 4 proofs, Verilog equivalence checking, vanilla-game oracle
Lean
-
-
requality-vscode
requality-vscode PublicUnofficial VS Code port of the Requality Eclipse plug-in (ISP RAS) for requirements management
Java 1
-
whofills
whofills PublicStops AI agents from completing web forms by asking who is filling them in. A drop-in script, a server check, and the study behind it (Claude 5.5, GPT-6.1).
TypeScript
Repositories
- whofills Public
Stops AI agents from completing web forms by asking who is filling them in. A drop-in script, a server check, and the study behind it (Claude 5.5, GPT-6.1).
- redstone-verify Public
Formal verification of Minecraft redstone circuits: SAT + LRAT certificates, Lean 4 proofs, Verilog equivalence checking, vanilla-game oracle
- requality-vscode Public
Unofficial VS Code port of the Requality Eclipse plug-in (ISP RAS) for requirements management
- symmetry-narya Public
Machine-checked formalization of chapters 2 and 3 of the book Symmetry in the Narya proof assistant
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Most used topics
Loading…