Get the latest tech news

Litex: Formal math for everyone – set theory examples with Lean comparison

A Simple Formal Language Learnable in 2 Hou.

None

Get the Android app