4 ms·
That's exactly what Tezos [1] is proposing: a strongly typed language whose semantics is currently being formalized in the Coq theorem prover. [1]: https://tez
by infruset 10y ago
That's exactly what Tezos [1] is proposing: a strongly typed language whose semantics is currently being formalized in the Coq theorem prover.
[1]: https://tezos.com/pages/tech.html https://tezos.com/pages/tech.html