Author: Tezos Korea Foundation

It educates/discovers leading domestic engineers and supports doctoral programs in computer engineering and functional programming languages.
We provide training such as formal verification, smart contract, and OCaml to engineers interested in blockchain and functional languages.
Windows freezing with an unexpected error was just an annoying problem for the user. However, errors in the financial, medical, nuclear, aviation, and aerospace industries are extremely fatal. Tezos’ Formal verification implements a Zero bug, It is a very stable technology because it lasts 24 hours thanks to the blockchain. Even this is just one […]
Tezos Korea Foundation aims to create a healthy ecosystem for Tezos We carry out various non-profit projects including education and industrial support.