cipher1024/eiffel_intervals
A library for interval arithmetic in Eiffel
Discovered public repositories for cipher1024 in the GitHub catalog.
A library for interval arithmetic in Eiffel
Models and proofs in Unit-B
Computation Calculus theorems and proofs
A llvm to JavaScript compiler
Examples of formal developments
Models for design patterns build in order to prove correctness properties about them.
Definition of a language for equational logic.
void-safe-gobo-eiffel