header
Informal Systems
ソフトウェアと資金への信頼を育むこと。Building @quint_langは実行可能なスペック言語であり、@cyclesmoneyは資本効率的金融のためのクリアリングプロトコルです。