1
0
Fork
You've already forked ProvenDelights
0
Search syntax
assignee:<username> Filter by assigned user
author:<username> Filter by the author
is:all All
is:closed Closed
is:open Open
mentions:<username> Filter by mentioned user
modified:[>|<]<date> Filter by last modified date
review:<username> Filter by user who reviewed
sort:<by>:[asc|desc] Sort by: created|comments|updated|deadline
New pull request
Label
Clear labels
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
jepler
proof_common: use pragma once
All checks were successful
Build CI / test (push) Successful in 1m13s
#4 by jepler was merged 2026年03月23日 21:15:16 +01:00
asciidoctor
All checks were successful
Build CI / test (push) Successful in 1m18s
#3 by jepler was merged 2025年11月28日 21:31:48 +01:00
fix publishing for forgejo
All checks were successful
Build CI / test (push) Successful in 1m10s
#2 by jepler was merged 2025年11月28日 18:51:41 +01:00
Switch to forgejo actions & add proofs of my own count-extending algorithms
All checks were successful
Build CI / test (push) Successful in 1m19s
#1 by jepler was merged 2025年11月28日 18:45:31 +01:00