Skip to content

Commit 95ea362

Browse files
authored
Merge pull request #87 from coq/update-header-footer
Header and footer for new website (rocq-prover.org) integration
2 parents 4416a30 + c3c413d commit 95ea362

2 files changed

Lines changed: 682 additions & 58 deletions

File tree

0 commit comments

Comments
 (0)