Skip to content

Activity

Showing most recent first

adding notes re Grothendieck

davidadpushed 1 commit to main • 225569e…ad8ac2e • 
on Jul 23, 2023

document additional commands

Force push
davidadforce pushed to main • 54c89f1…225569e • 
on Jul 23, 2023

document additional commands

davidadpushed 1 commit to main • c330837…54c89f1 • 
on Jul 23, 2023

add screenshot

davidadpushed 1 commit to main • c0ef008…c330837 • 
on Jul 23, 2023

add README.md

davidadcreated main • c0ef008 • 
on Jul 23, 2023