To edit the front page, edit index.md.
See (modifying.md)[modifying.md] for more on how to modify this.
david-a-wheeler/openproofs.github.io
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
To edit the front page, edit index.md.
See (modifying.md)[modifying.md] for more on how to modify this.