Tezos Southeast AsiaTezos Southeast Asia
  • Home
  • About
    • About Us
    • Contact
    • Privacy Policy
  • Community
  • Events
  • News
  • Home
  • About
    • About Us
    • Contact
    • Privacy Policy
  • Community
  • Events
  • News
All Posts By

Tezos SEA

Jan 23
0

Is OCaml really easier to formally verify ?

By Tezos SEA | Blog

I am concerned that “written in Haskell and OCaml are closer to algebra and therefore easier to formally verify” may turn out to be a myth that is accepted without…

Read More

Recent Posts

  • Guide to Using the Tezos-node Part II: Ledger Nano S
  • Guide to Using the Tezos-node Part I: Setting Up a Node
  • ACCA to Explore Potential Applications of Blockchain Technology in the Accounting Industry Together with Tezos Southeast Asia

Categories

  • Blog
  • Events
  • Interview
  • Masterclasses
  • Media Release
  • Meetups
  • News

© 2021 Tezos Southeast Asia.