Code

Improvements to community page.#77

Code

Merged

Zimmi48 merged 3 commits intomaincoq/rocq-prover.org:mainfrom improve-communitycoq/rocq-prover.org:improve-communityCopy head branch name to clipboardJan 30, 2025

Commits

Commits on Jan 30, 2025

• Improvements to community page.

  Zimmi48

  committed
  ffd060c

  Copy full SHA for ffd060c

• fix the mobile view

  

  BastienSozeau

  authored and

  Zimmi48

  committed
  49bebfc

  Copy full SHA for 49bebfc

• Fix icon for Rocq-community.

  Zimmi48

  committed
  6158806

  Copy full SHA for 6158806