Giters
Gaëtan Gilbert (SkySkimmer)

SkySkimmer

Geek Repo

55

followers

0

following

3

stars

Company:Inria

Github PK Tool:Github PK Tool

Gaëtan Gilbert's starred repositories

andromeda

A proof assistant for general type theories

Language:OCamlLicense:NOASSERTIONStargazers:296Issues:0Issues:0

requestpolicy

a web browser extension that gives you control over cross-site requests. Available for XUL/XPCOM-based browsers.

Language:TypeScriptLicense:NOASSERTIONStargazers:252Issues:0Issues:0

Coq-HoTT

A Coq library for Homotopy Type Theory

Language:CoqLicense:NOASSERTIONStargazers:1241Issues:0Issues:0