Giters
Julien Puydt (SnarkBoojum)

SnarkBoojum

Geek Repo

2

followers

0

following

0

stars

Location:France

Github PK Tool:Github PK Tool

Julien Puydt's repositories

Abel

A proof of Abel-Ruffini theorem.

Language:CoqStargazers:0Issues:0Issues:0

andors-trail

Andor's Trail

Language:JavaStargazers:0Issues:1Issues:0

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.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

eclib

The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve database.

Language:C++License:GPL-2.0Stargazers:0Issues:1Issues:0

edge-addition-planarity-suite

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

elpi

Embeddable Lambda Prolog Interpreter

Language:PrologLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

flint2

FLINT (Fast Library for Number Theory)

Language:CStargazers:0Issues:1Issues:0

fplll

Lattice algorithms using floating-point arithmetic

Language:C++License:LGPL-2.1Stargazers:0Issues:1Issues:0

math-comp

Mathematical Components

Language:CoqStargazers:0Issues:0Issues:0

pynac

Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:

Language:C++License:GPL-2.0Stargazers:0Issues:0Issues:0

real-closed

Theorems for Real Closed Fields

Language:CoqStargazers:0Issues:0Issues:0

sagenb

Sage Notebook (flask)

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0