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