python client for sharelatex and a tool to manage a project between git and the web UI.

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

A project providing digital recognition of handwritten documents using machine learning techniques.

A library to build experimental frameworks on multiple platforms

Simple experimental campaign workflow

Frontend for shex-java.

The library

A set of commonly used widgets written using Qt5.

AllGo python module to deal with the API.

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

PIPER application