This Record

#943 Create FAQ: "Formal Verification for RhoLang"

#943 Create FAQ: "Formal Verification for RhoLang"

["Community Building", "Education", "RChain Technical Literacy"]
Last updated Friday, September 07, 2018 - 40 weeks ago

Click to minimize this section Details

Num 943
Title Create FAQ: "Formal Verification for RhoLang"
UpdatedAt Fri Sep 7 04:43:22 2018
State OPEN
Repo rchain/bounties
CreatedAt Fri Aug 31 15:11:21 2018
Labels ["Community Building", "Education", "RChain Technical Literacy"]