Hugo Herbelin herbelin

4 followers · 3 following

• SSH keys
• GPG keys

• Joined on 2016-07-15

Repositories

5

Projects Packages Starred repositories

5

Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

rechauffement

CSS 0 0

Un site en français sur le réchauffement climatique

Updated 2026-09-02 08:51:34 +00:00

infinite-pigeonhole

Rocq Prover 0 0

Program extraction from classical proofs of the infinite pigeonhole principle

Updated 2026-01-19 12:19:25 +00:00

cours-preuves-ordinateur

TeX 0 0

Page du cours preuves assistées par ordinateur 2021

Updated 2025-05-16 09:22:37 +00:00

LMFI-HoTT

TeX 1 0

Updated 2024-04-25 06:23:40 +00:00

coq-hh

OCaml 0 0

Hugo Herbelin's public Coq branches

Updated 2011-05-12 18:01:56 +00:00