Snaps by Sankalp Gambhir

Program verifier and model checker for Scala 3

v0.9.9.2.r17.964266d9