search

runtimeverification / michelson-semantics

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

Fixed the documentation website footer #177

Closed shd101wyy closed 3 years ago

shd101wyy commented 3 years ago

Fixes: https://github.com/runtimeverification/web-common/issues/141 Depends on: https://github.com/runtimeverification/k-web-theme/pull/5 <- Please get this approved and merged first