rwth-moves.caesar

Caesar Verifier

Total downloads

2,303

7d gain

10

Rolling weekly delta

Rating

- / 5

0 reviews

Version

4.0.2

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: rwth-moves
Name: caesar
License: MIT
Homepage: https://www.caesarverifier.org/
Repository: https://github.com/moves-rwth/caesar.git
Reviews: 0

Taxonomy

Categories

Programming Languages

Description

The quantitative deductive verifier Caesar for VSCode

Archive

Release history

10 latest releases