Skip to content

Commit

Permalink
Merge pull request #87 from coq/update-header-footer
Browse files Browse the repository at this point in the history 
Header and footer for new website (rocq-prover.org) integration
  • Loading branch information
@mattam82
mattam82 authored Jan 25, 2025
2 parents 4416a30 + c3c413d commit 95ea362
Show file tree
Hide file tree
Showing 2 changed files with 682 additions and 58 deletions.
Loading

0 comments on commit 95ea362

Please sign in to comment.