Links

Resources, references, and useful websites.

Research Tools

  • arXiv Open-access preprint repository
  • HAL French open archive of scholarly documents
  • DBLP Computer science bibliography

Proof Assistants & Tools

  • Rocq Prover Interactive theorem prover (formerly Coq)