Skip to content
@verse-lab

Verified Systems Engineering Lab

Research Group at NUS School of Computing

Pinned Loading

  1. veil Public

    A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit your PRs here.

    Lean 13

  2. splean Public

    Separation Logic Proofs in Lean

    Lean 34 4

  3. lean-ssr Public

    LeanSSR: an SSReflect-Like Tactic Language for Lean

    Lean 34

  4. obatcher_ds Public

    Jupyter Notebook 18 1

  5. batcher-in-rust Public

    Rust 4 1

Repositories

Showing 10 of 26 repositories
  • veil Public

    A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit your PRs here.

    Lean 13 Apache-2.0 0 0 0 Updated Feb 19, 2025
  • veil-usage-example Public template
    Lean 0 0 0 0 Updated Feb 19, 2025
  • intellij-rust Public Forked from intellij-rust/intellij-rust

    Rust plugin for the IntelliJ Platform

    Kotlin 1 MIT 398 0 0 Updated Feb 19, 2025
  • doppler Public

    artifact of doppler

    C 1 Apache-2.0 0 0 0 Updated Feb 14, 2025
  • lean-ssr Public

    LeanSSR: an SSReflect-Like Tactic Language for Lean

    Lean 34 Apache-2.0 0 12 1 Updated Feb 5, 2025
  • splean Public

    Separation Logic Proofs in Lean

    Lean 34 4 0 0 Updated Dec 17, 2024
  • z3 Public Forked from Z3Prover/z3

    The Z3 Theorem Prover

    C++ 0 1,531 0 0 Updated Nov 25, 2024
  • cleango Public Forked from kiranandcode/cleango

    Bindings to libclingo for the lean4 prover and programming language!

    C 1 1 0 0 Updated Nov 13, 2024
  • obatcher_ds Public
    Jupyter Notebook 18 1 0 1 Updated Aug 29, 2024
  • Rust 4 1 0 0 Updated Aug 27, 2024

People

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