Rendered at 16:11:56 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
okigan 14 hours ago [-]
Readme is mostly install and usage information but not much above the use case.
OP - could you fill in why/when one would use it?
derdi 1 days ago [-]
Nice, but what is the motivation for this? That the syntax is perceived to be nicer than SMT-LIB format? Or that Lean can get involved? Differential testing? Just for fun?
OP - could you fill in why/when one would use it?