#

x-phi

Here is 1 public repository matching this topic...

paulHasselkuss / computer-assisted-proofs-arxiv

R code to extract preprints that report on computer-assisted proofs from the arXiv

computer-assisted-proof arxiv-papers x-phi

Updated Dec 1, 2024
R

Improve this page

Add a description, image, and links to the x-phi topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the x-phi topic, visit your repo's landing page and select "manage topics."