Zimmi48/platform-docs Zimmi48/platform-docs

  • Stars
    star
    2
  • Language
  • Created 7 months ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Zimmi48/platform-docs
github

Zimmi48

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

transfer

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

dotfiles

Nix
4
star
3

zimmi48.github.io

Personal web page and blog
HTML
2
star
4

thesis

Notebooks from my PhD thesis
Jupyter Notebook
2
star
5

coq-jupyter-environment

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

accounting

Elm
1
star
7

logicgame

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

Touch-Snake

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

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
10

Test-Pedago

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