GitHub - sarahzrf/cas: A GUI for doing forward reasoning (especially algebra), backed by type theory

Name		Name	Last commit message	Last commit date
Latest commit History 41 Commits
SimpleFP-v2 @ 18270cd		SimpleFP-v2 @ 18270cd
src		src
.gitignore		.gitignore
.gitmodules		.gitmodules
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
dihedral_theory		dihedral_theory
ghc.nix		ghc.nix
ghcjs.nix		ghcjs.nix
proofcas.cabal		proofcas.cabal
std.sfp		std.sfp
term.css		term.css

Provide feedback