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.
- Guabao Homepage: https://scmlab.github.io/guabao/
- Frontend Code Repository: https://github.com/scmlab/gcl-vscode
- Backend Code Repository: https://github.com/scmlab/gcl