ETC Verify

ETC Verify™ turns the behavioral claims in your software's design into precise propositions and proves them with machine-checked rigor in the Lean theorem prover.​

ETC Storyline

Opinions, Observations and Newsworthy from our perspective
​

For Teknowgeeks

If you sleep and dream in equations and programming code then you'll want to explore the articles here.