Skip to content
@verse-lab

Verified Systems Engineering Lab

Research Group at NUS School of Computing

Pinned Loading

  1. velvet velvet Public

    An auto-active verifier embedded into Lean

    Lean 90 7

  2. veil veil Public

    A verifier for automated and interactive proofs about transition systems.

    Lean 301 25

  3. veil-usage-example veil-usage-example Public template

    A template repository with an example of using Veil verifier as a Lean library.

    Lean 4

  4. splean splean Public

    Separation Logic Proofs in Lean

    Lean 56 6

Repositories

Showing 10 of 41 repositories
  • veil Public

    A verifier for automated and interactive proofs about transition systems.

    verse-lab/veil's past year of commit activity
    Lean 301 Apache-2.0 25 36 6 Updated Sep 14, 2026
  • loom Public

    Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.

    verse-lab/loom's past year of commit activity
    Lean 160 Apache-2.0 11 9 3 Updated Sep 14, 2026
  • veil-dev-issues Public
    verse-lab/veil-dev-issues's past year of commit activity
    0 0 0 0 Updated Sep 12, 2026
  • Lentil Public

    Proof infrastructure about LTL in Lean 4

    verse-lab/Lentil's past year of commit activity
    Lean 36 Apache-2.0 0 0 0 Updated Sep 6, 2026
  • lean4web Public Forked from leanprover-community/lean4web

    Lean web editor

    verse-lab/lean4web's past year of commit activity
    TypeScript 0 Apache-2.0 62 0 0 Updated Sep 5, 2026
  • weird-logic Public

    Hyper-safety reasoning for provably realisable program exploits.

    verse-lab/weird-logic's past year of commit activity
    Lean 0 0 0 0 Updated Aug 15, 2026
  • lean-smt Public Forked from ufmg-smite/lean-smt

    Tactics for discharging Lean goals into SMT solvers.

    verse-lab/lean-smt's past year of commit activity
    Lean 0 Apache-2.0 43 0 0 Updated Aug 14, 2026
  • irl Public

    Infinitary Relation Logic

    verse-lab/irl's past year of commit activity
    Lean 1 MIT 0 1 2 Updated Aug 14, 2026
  • loom2 Public

    There is always loom for family.

    verse-lab/loom2's past year of commit activity
    Lean 3 Apache-2.0 4 4 4 Updated Aug 3, 2026
  • velvet Public

    An auto-active verifier embedded into Lean

    verse-lab/velvet's past year of commit activity
    Lean 90 Apache-2.0 7 5 0 Updated Jul 6, 2026
View all repositories

People

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