search

plurimath / plurimath.github.io

Official Plurimath web site
https://www.plurimath.org/
MIT License
0 stars 0 forks source link

Migrate plurimath.org to GitHub Pages #1

Closed ronaldtse closed 11 months ago

ronaldtse commented 11 months ago

Just like tebako.org.

Use the same exact structure.

ronaldtse commented 11 months ago

The difference is that we will host DNS on Route53 as before, but the website will not be hosted on S3, we will host it on GitHub Pages. This is because we will need to provide a Plurimath API endpoint to run the Plurimath gem.