Théo Zimmermann (@Zimmi48)
github

Zimmi48

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

transfer

Automatic transfer of theorems along isomorphisms in Coq
Coq
5
star
2

dotfiles

Nix
4
star
3

platform-docs

A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
2
star
4

zimmi48.github.io

Personal web page and blog
HTML
2
star
5

thesis

Notebooks from my PhD thesis
Jupyter Notebook
2
star
6

coq-jupyter-environment

A binder environment relying on Conda to install Coq and the coq_jupyter kernel.
Jupyter Notebook
2
star
7

accounting

Elm
1
star
8

logicgame

Play with logic by dragging and dropping formulae (only with compatible recent browsers)
Elm
1
star
9

Touch-Snake

A modern and touch-friendly version of the classic game of snake
JavaScript
1
star
10

impact-of-switching-bug-trackers

Source and supporting data for "Impact of switching bug trackers: a case study on a medium-sized open source project"
Jupyter Notebook
1
star
11

Test-Pedago

Logiciels éducatifs pour s'entraîner aux tables de multiplication et aux conjugaisons françaises
C++
1
star