Skip to content

Latest commit

 

History

History
18 lines (10 loc) · 866 Bytes

README.md

File metadata and controls

18 lines (10 loc) · 866 Bytes

Source of Homepage for Guabao

Source code of homepage for Guabao, an integrated environment for imperative program derivation, in which it is encouraged to develop a program and its correctness proof hand in hand,

URL for the published homepage is https://scmlab.github.io/guabao/. Check the homepage to know more about Guabao.

Issues regarding the homepage itself can be reported here.

Source code of Guabao has its own GIT repository. Issues regarding Guabao can be reported there.

This homepage is based on Lanyon-Haskell.

Links