Skip to content

Instantly share code, notes, and snippets.

Théo Zimmermann Zimmi48

Block or report user

Report or block Zimmi48

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@Zimmi48
Zimmi48 / introduction.v
Last active Feb 4, 2019
A super brief introduction to Coq.
View introduction.v
(* Welcome!
This super brief tutorial will demonstrate a few basics ideas of what you
can do with Coq and will point you to further documentation to learn more
about it. *)
(* Anything between (* and *) is a comment. Comments can be nested. *)
(* Coq has a standard library and a small part of it is already loaded when
you launch it. This part is called the prelude. It defines many very basic
and useful construct, such as logic connectors, the natural numbers, etc. *)
@Zimmi48
Zimmi48 / bugzilla2github
Last active Mar 3, 2018
The migration script that was used in Oct, 2017 to migrate about 4900 bug reports from Coq Bugzilla to GitHub issues. For the associated notes, see https://www.theozimmermann.net/2017/10/bugzilla-to-github/.
View bugzilla2github
#!/usr/bin/env python2
# -*- coding: utf-8 -*-
#
# Bugzilla XML File to GitHub Issues Converter
# by Andriy Berestovskyy (https://github.com/semihalf-berestovskyy-andriy/tools/)
# Adapted for the Coq bug tracker migration by Théo Zimmermann
# This script is licensed under the Apache 2.0 license.
#
# How to use the script:
# 1. Generate a GitHub access token:
View mpri.hs
-- File under license CC-0
-- How to use:
-- 1) Save all course pages with grades from MPRI pedagogical server
-- 2) The path name to all courses for 3 ECTS must contain Court
-- while others are considered counting for 6 ECTS
-- 3) Call this script passing all the files as arguments. For instance like this:
-- runhaskell mpri.hs Courts/* Longs/*
-- This is program probably has lots of programming flaws
You can’t perform that action at this time.