Liechtenstein

Tau

Expert
@IDNI

The future of Logical AI, declarative programming, and software synthesis from formal specification

tau.net
0
Apply