Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master	Mar 20, 2020
unboxed-layouts	Jan 7, 2025
topic/value_definition	Jan 7, 2025
subtyping-tac-speedup	Jan 7, 2025
subtyping-proofs	Jan 7, 2025
session-reorg	Jan 7, 2025
repl	Jan 7, 2025
refine	Jan 7, 2025
recursive-types-dargent	Jan 7, 2025
recursive-types	Jan 7, 2025
records-ordering	Jan 7, 2025
proof-minctx	Jan 7, 2025
proof-cogent-inference	Jan 7, 2025
prettify	Jan 7, 2025
old-dump	Jan 7, 2025
no-linear	Jan 7, 2025
new-testing-script	Jan 7, 2025
minigent-sec-type	Jan 7, 2025
minigent-fixes	Jan 7, 2025
log-tactic-timings	Jan 7, 2025