search

runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.
Other
17 stars 6 forks source link

Build the documentation website with k-web-theme #157

Closed shd101wyy closed 3 years ago

shd101wyy commented 3 years ago

Demo website: https://shd101wyy.github.io/michelson-semantics/ Fixes https://github.com/runtimeverification/web-common/issues/102

shd101wyy commented 3 years ago

Hi, @ehildenb I don't seem to be able to request a review for this PR.

Screenshot from 2020-12-08 12-00-12

Could you please help review this PR? Thank you!