Leon: An automated system for verifying Scala code, now with support for Isabelle (groups.google.com) 9 points by harveywi 11y ago ↗ HN
0 comments
[ 17.0 ms ] story [ 65.1 ms ] threadNo comments yet.