Isabelle
Trending Isabelle repositories, ranked by momentum.
1 results
- Place 10.0
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
Follow this list in a feed reader(Atom, top 25)
Trending Isabelle repositories, ranked by momentum.
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
Follow this list in a feed reader(Atom, top 25)