actually typecheck formulas

dijkstracula / irving

there's no checking like bounded model checking

GNU Affero General Public License v3.0

1 stars 0 forks source link

Closed dijkstracula closed 1 year ago

dijkstracula commented 1 year ago

whoops!

dijkstracula commented 1 year ago

ce06658587c4b8b84785c0698ffa9395cfd55dc4 .