Pinned Repositories
track
http://track.bcc3d.ca app
c19-dash
covid19-model
Pages for COVID-19 model
elea
Supercompiler for theorem provers
elea-phd
Elea (as developed for my PhD)
saddle
SADDLE: Scala Data Library
tryelea.org
Website source for tryelea.org
tryzeno.org
Use the Zeno prover through your browser (tryzeno.org)
zeno
Zeno
volunteer-victoria-community
f-algebra's Repositories
f-algebra/elea
Supercompiler for theorem provers
f-algebra/elea-phd
Elea (as developed for my PhD)
f-algebra/zeno
Zeno
f-algebra/c19-dash
f-algebra/covid19-model
Pages for COVID-19 model
f-algebra/saddle
SADDLE: Scala Data Library
f-algebra/tryelea.org
Website source for tryelea.org
f-algebra/tryzeno.org
Use the Zeno prover through your browser (tryzeno.org)