Unit-B Web interface -- PRE-ALPHA SOFTWARE, please don't post to HN or Reddit
Branch: master
Clone or download
Latest commit 917de9b Apr 17, 2017
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Handler upgraded references to tex2png-hs Dec 3, 2016
Import Add a barebones Yesod web project demo in demo/yesod and web/prover Jun 25, 2016
Logic enabled travis and appveyor Oct 29, 2016
Model enabled travis and appveyor Oct 29, 2016
Settings Add a barebones Yesod web project demo in demo/yesod and web/prover Jun 25, 2016
app Rename web-prover to unitb-web Sep 23, 2016
config Rename web-prover to unitb-web Sep 23, 2016
static Add PDF rendering Aug 21, 2016
templates Rendering for Presets and Examples Aug 22, 2016
test trying to make it build on stack with lts-6 and cabal Oct 30, 2016
.ghci Add a barebones Yesod web project demo in demo/yesod and web/prover Jun 25, 2016
.gitignore Add a barebones Yesod web project demo in demo/yesod and web/prover Jun 25, 2016
.travis.yml Add Riot webhook for Travis Apr 17, 2017
Application.hs Separate rendering from proof checking / Render complete form Aug 11, 2016
Foundation.hs enabled travis and appveyor Oct 29, 2016
Import.hs enabled travis and appveyor Oct 29, 2016
LICENSE Update copyright to mention the SEL Sep 23, 2016
README.md Try again with travis Dec 3, 2016
Settings.hs enabled travis and appveyor Oct 29, 2016
Setup.hs enabled travis and appveyor Oct 29, 2016
appveyor.yml enabled travis and appveyor Oct 29, 2016
setup_guide.tex
stack-lts-3.yaml upgraded reference to tex2png and disabled building cabal on Travis Dec 4, 2016
stack-lts-6.yaml upgraded reference to tex2png and disabled building cabal on Travis Dec 4, 2016
stack-lts-7.yaml upgraded reference to tex2png and disabled building cabal on Travis Dec 4, 2016
stack-nightly.yaml upgraded reference to tex2png and disabled building cabal on Travis Dec 4, 2016
stack.yaml upgraded reference to tex2png and disabled building cabal on Travis Dec 4, 2016
travis_long.sh added travis_long to prevent travis from timing out Oct 29, 2016
unitb-web.cabal Try again with travis Dec 3, 2016

README.md

unitb-web

Build Status

Unit-B Web is a web interface using the logic module of Literate Unit-B for doing predicate calculus proofs.