katydid
Risav
risavkarna
Semantics & language research, software architecture and development (social enterprises, cruise ships, hospitality, research & e-commerce). g.dev/risav
plaruh UG, nep.work, cosys.work
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@coq-community Vietnam