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 program verifier in Lean

    Lean 131 12

  2. veil veil Public

    A verifier for automated and interactive proofs about transition systems.

    Lean 342 29

  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 43 repositories
  • veil Public

    A verifier for automated and interactive proofs about transition systems.

    verse-lab/veil's past year of commit activity
    Lean 342 Apache-2.0 29 42 4 Updated Oct 17, 2026
  • velvet-tutorial Public
    verse-lab/velvet-tutorial's past year of commit activity
    Lean 0 0 0 0 Updated Oct 15, 2026
  • Lentil Public

    Proof infrastructure about LTL in Lean 4

    verse-lab/Lentil's past year of commit activity
    Lean 38 Apache-2.0 0 2 0 Updated Oct 13, 2026
  • velvet Public

    An auto-active program verifier in Lean

    verse-lab/velvet's past year of commit activity
    Lean 131 Apache-2.0 12 7 0 Updated Oct 8, 2026
  • VerifiedHAMT Public

    Verified hash array mapped trie

    verse-lab/VerifiedHAMT's past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Oct 6, 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 164 Apache-2.0 11 9 3 Updated Oct 3, 2026
  • veil-dev-issues Public
    verse-lab/veil-dev-issues's past year of commit activity
    0 0 0 0 Updated Sep 12, 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 64 0 0 Updated Sep 4, 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 48 0 2 Updated Aug 14, 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.