Verified Systems Engineering Lab
Research Group at NUS School of Computing
- 29 followers
- Singapore
- https://verse-lab.github.io
Pinned Loading
Repositories
Showing 10 of 27 repositories
- veil Public
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
verse-lab/veil’s past year of commit activity - FORCE Public
verse-lab/FORCE’s past year of commit activity - 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 - cleango Public Forked from kiranandcode/cleango
Bindings to libclingo for the lean4 prover and programming language!
verse-lab/cleango’s past year of commit activity - obatcher_ds Public
verse-lab/obatcher_ds’s past year of commit activity
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…