Zimmi48/coq-jupyter-environment Zimmi48/coq-jupyter-environment

  • Stars
    star
    2
  • Language
    Jupyter Notebook
  • Created almost 5 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Zimmi48/coq-jupyter-environment
github

Zimmi48

Reviews

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

Repository Details

A binder environment relying on Conda to install Coq and the coq_jupyter kernel.

More 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

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