mattulbrich/mimaflux mattulbrich/mimaflux

  • Stars
    star
    14
  • Rank 1,433,352 (Top 29 %)
  • Language
    Java
  • License
    GNU General Publi...
  • Created almost 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mattulbrich/mimaflux
github

mattulbrich

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

llreve

Automatic regression verification for LLVM programs
C++
19
star
2

dive

Dafny Interactive Verification Environment (DIVE)
Java
4
star
3

DynamicDavid

Interactive Hilbert Calculus for propositional dynamic logic
Scala
1
star
4

TableauApplet

a Java implementation of an interative tableau first order theorem prover. For teaching.
Java
1
star