issues
search
viperproject
/
gobra-libs
Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
MIT License
2
stars
1
forks
source link
Add sets package
#7
Closed
dnezam
closed
9 months ago
dnezam
commented
10 months ago
Roadmap
[x] Port over desired definitions from Dafny
[x] Port over desired definitions from Verus
[x] Port over desired definitions from Why3
[x] Discuss whether additional definitions must be added to account for disabling the axiomization in user packages
[x] Decide whether to use standard libraries of proof assistants like Coq and Lean
[x] Restructure package to make it consistent
Roadmap