pi8027 Goto Github PK

analysis

Mathematical Components compliant Analysis Library

config

my configuration files

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-elpi

Coq plugin embedding elpi

coq-polyhedra

Formalizing convex polyhedra in Coq

coqeal

CoqEAL -- The Coq Effective Algebra Library

deriving

Class instances for Coq inductive types with little boilerplate

dpt-rp1-py

Python script to manage Sony DPT-RP1 without Digital Paper App

efficient-finfun

fcsl-pcm

Partial Commutative Monoids

finmap

Finite sets, finite maps, multisets and order

flocq

Fork of https://gitlab.inria.fr/flocq/flocq

formalized-postscript

PostScript programming in the Coq proof assistant

geocoq

A formalization of geometry in Coq based on Tarski's axiom system

kaobook

A LaTeX class for books, reports or theses based on https://github.com/kenohori/thesis and https://github.com/Tufte-LaTeX/tufte-latex.

lambda-calculus

A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2

lemma-overloading

Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]

math-comp

Mathematical Components

metacoq

Metaprogramming in Coq

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

pane-maximize

maximize/restore panes in tmux 1.7.

pg

This repo is the new home of Proof General

pi8027

My profile README.md

pygments

Pygments is a generic syntax highlighter written in Python

real-closed

Theorems for Real Closed Fields

record-expansion

A translation from Coq to Coq expanding and eliminating records (WIP)

reducer

refinement

sandpit