Skip to content
@verse-lab

Verified Systems Engineering Lab

Research Group at NUS School of Computing

Pinned Loading

  1. loom 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.

    Lean 112 4

  2. veil veil Public

    A verifier for automated and interactive proofs about transition systems.

    Lean 177 9

  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 45 6

  5. lean-ssr lean-ssr Public

    LeanSSR: an SSReflect-Like Tactic Language for Lean

    Lean 40 1

Repositories

Showing 10 of 31 repositories
  • lean4web Public Forked from leanprover-community/lean4web

    Lean web editor

    verse-lab/lean4web’s past year of commit activity
    TypeScript 0 Apache-2.0 48 0 0 Updated Jan 12, 2026
  • veil Public

    A verifier for automated and interactive proofs about transition systems.

    verse-lab/veil’s past year of commit activity
    Lean 177 Apache-2.0 9 0 0 Updated Jan 12, 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 112 Apache-2.0 4 9 0 Updated Jan 10, 2026
  • ProofWidgets4 Public Forked from leanprover-community/ProofWidgets4

    Helper toolkit for creating your own Lean 4 UserWidgets

    verse-lab/ProofWidgets4’s past year of commit activity
    Lean 1 Apache-2.0 42 0 0 Updated Jan 3, 2026
  • veil-usage-example Public template

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

    verse-lab/veil-usage-example’s past year of commit activity
    Lean 4 0 0 0 Updated Dec 16, 2025
  • lean-ssr Public

    LeanSSR: an SSReflect-Like Tactic Language for Lean

    verse-lab/lean-ssr’s past year of commit activity
    Lean 40 Apache-2.0 1 12 1 Updated Dec 3, 2025
  • FORCE Public
    verse-lab/FORCE’s past year of commit activity
    C++ 0 MIT 0 0 0 Updated Sep 18, 2025
  • intellij-rust Public archive

    Rust plugin for the IntelliJ Platform

    verse-lab/intellij-rust’s past year of commit activity
    Kotlin 1 MIT 0 0 0 Updated Aug 7, 2025
  • Lentil Public

    (at least a useful portion of) Temporal Logic of Actions, a.k.a. TLA in Lean 4

    verse-lab/Lentil’s past year of commit activity
    Lean 13 Apache-2.0 0 0 0 Updated Jul 3, 2025
  • splean Public

    Separation Logic Proofs in Lean

    verse-lab/splean’s past year of commit activity
    Lean 45 6 0 0 Updated Mar 26, 2025
View all repositories

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…