Techly NewsGet the app

Get the latest tech news

Discharging Lean goals into SMT solvers


Tactics for discharging Lean goals into SMT solvers. - ufmg-smite/lean-smt

Get the Android app

Or read this on Hacker News

Read more on:

Photo of smt

smt

Photo of SMT solvers

SMT solvers

Photo of Lean goals

Lean goals

Related news:

News photo

SIMD < SIMT < SMT: Parallelism in Nvidia GPUs (2011)

« Security researchers identify new malware targeting Linux
Linux connection tracking and (Slow) DNS »