Skip to content
@formalized-si

formalized.si

Popular repositories Loading

  1. symmetry-narya symmetry-narya Public

    Machine-checked formalization of chapters 2 and 3 of the book Symmetry in the Narya proof assistant

    Common Lisp 1

  2. redstone-verify redstone-verify Public

    Formal verification of Minecraft redstone circuits: SAT + LRAT certificates, Lean 4 proofs, Verilog equivalence checking, vanilla-game oracle

    Lean

  3. narya-mcp narya-mcp Public

    MCP server for the Narya proof assistant

    Python

Repositories

Showing 3 of 3 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…