Giters
Nicolas MAGAUD (magaud)

magaud

Geek Repo

1

followers

0

following

0

stars

Company:ICube UMR 7357 CNRS Université de Strasbourg

Location:Strasbourg, France

Home Page:https://dpt-info.di.unistra.fr/~magaud/

Github PK Tool:Github PK Tool

Nicolas MAGAUD's repositories

PG3q

Language:CoqLicense:LGPL-3.0Stargazers:1Issues:1Issues:0

ConvexHullV1

Language:CoqStargazers:0Issues:0Issues:0

ConvexHullV2

Language:CoqStargazers:0Issues:0Issues:0

coq-lint

work in progress

Language:CoqStargazers:0Issues:1Issues:0

europroofnet.github.io

Sources of the EuroProofNet web site.

Language:RubyStargazers:0Issues:0Issues:0

HR

Language:CoqStargazers:0Issues:0Issues:0

HRBnVMM

Language:CoqStargazers:0Issues:0Issues:0

magaud.github.io

Language:HTMLStargazers:0Issues:0Issues:0

pg2q

Language:CoqStargazers:0Issues:0Issues:0

postTYPES2022

Language:CoqLicense:GPL-3.0Stargazers:0Issues:0Issues:0

projective-prover

Language:CoqStargazers:0Issues:0Issues:0

styles

LaTeX Styles provided by Dagstuhl Publishing

License:LPPL-1.3cStargazers:0Issues:0Issues:0