• Stars
    star
    21
  • Rank 1,084,038 (Top 22 %)
  • Language
    Scala
  • License
    GNU Lesser Genera...
  • Created almost 9 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

Proof and Code Presentation Framework