6 search results for "author:"Romain Bardou""
mlpost-lablgtk
Library for adding mlpost graphics in lablgtk
0.9
LGPL-2.1-only
Used by 0 other packages
why
Why is a software verification platform.
deductive
program verification
specification
automated theorem prover
interactive theorem prover
Java
JML
C
ACSL
2.41
LGPL-2.1-only
Used by 0 other packages