Pinned Repositories
abella
An interactive theorem prover based on lambda-tree syntax
abella-prover.org
The web-site for Abella
CalendarView
Python library provides a graphical view of the calendar.
cms
Crawling resolutions in municipal health councils
cmuq-logic-website
Encyclopedia
An Open Encyclopedia of Proof Systems
evince
Gnome's pdf viewer
fwf-endbericht
FWF Endberichtsvorgaben in LaTeX.
gapt
GAPT: General Architecture for Proof Theory
ocamlgraph
OCaml graph library
gisellemnr's Repositories
gisellemnr/evince
Gnome's pdf viewer
gisellemnr/fwf-endbericht
FWF Endberichtsvorgaben in LaTeX.
gisellemnr/Encyclopedia
An Open Encyclopedia of Proof Systems
gisellemnr/gapt
GAPT: General Architecture for Proof Theory
gisellemnr/ocamlgraph
OCaml graph library
gisellemnr/abella
An interactive theorem prover based on lambda-tree syntax
gisellemnr/abella-prover.org
The web-site for Abella
gisellemnr/CalendarView
Python library provides a graphical view of the calendar.
gisellemnr/cms
Crawling resolutions in municipal health councils
gisellemnr/cmuq-logic-website
gisellemnr/courses
Visual display of courses for the Computer Science department in CMUQ
gisellemnr/financialCLF
Formalization of financial systems in linear logic
gisellemnr/git-practice
gisellemnr/hashcode2020
gisellemnr/jhbuild
Configurations files for jhbuild
gisellemnr/libgweather
gisellemnr/little-brother
Big brother's brother
gisellemnr/pdf.js
PDF Reader in JavaScript
gisellemnr/poppler
gisellemnr/qcheck
Library for automatic unit testing of Standard ML modules
gisellemnr/WiLSpreadsheets