Open 2222-42 opened 4 years ago
lemmyの資料に新たなリンクが追加されていた。
blockchain自体興味があるのと、それのプロトコルの証明については興味があるから。
Streamletについての資料: http://muratbuffalo.blogspot.com/2020/07/streamlet-textbook-streamlined.html
StreamletのTLAにおけるモデル化について: http://muratbuffalo.blogspot.com/2020/07/modeling-streamlet-in-tla.html
why
lemmyの資料に新たなリンクが追加されていた。
blockchain自体興味があるのと、それのプロトコルの証明については興味があるから。
what
Streamletについての資料: http://muratbuffalo.blogspot.com/2020/07/streamlet-textbook-streamlined.html
StreamletのTLAにおけるモデル化について: http://muratbuffalo.blogspot.com/2020/07/modeling-streamlet-in-tla.html