Skip to content

Activity

Showing most recent first

lean mcedit syntax

5HTpushed 1 commit to main • a790a76…89ea141 • 
2 days ago

lean mcedit syntax

5HTpushed 1 commit to main • 8abf0bd…a790a76 • 
3 days ago

mathstodon.xyz

5HTpushed 1 commit to main • 75bea37…8abf0bd • 
12 days ago

update simplicity

5HTpushed 1 commit to main • 22cce98…75bea37 • 
on Feb 23

faces are optional

5HTpushed 1 commit to main • 8f77a07…22cce98 • 
on Feb 22

circle as infinity groupoid

5HTpushed 1 commit to main • f360f3c…8f77a07 • 
on Feb 22

Merge branch 'main' of github.com:groupoid/anders

5HTpushed 2 commits to main • 5a0f1ca…f360f3c • 
on Feb 22

Update SIMPLICITY.md

5HTpushed 1 commit to main • 43f2abb…5a0f1ca • 
on Feb 22

allow infinite dimensions

5HTpushed 1 commit to main • 2c60647…43f2abb • 
on Feb 22

Simplicity HoTT

5HTpushed 1 commit to main • 6d673b0…2c60647 • 
on Feb 22

Update SIMPLICITY.md

5HTpushed 1 commit to main • b2e2107…6d673b0 • 
on Feb 22

Update SIMPLICITY.md

5HTpushed 1 commit to main • 09fcbe6…b2e2107 • 
on Feb 22

Update SIMPLICITY.md

5HTpushed 1 commit to main • c625c60…09fcbe6 • 
on Feb 22

Update SIMPLICITY.md

5HTpushed 1 commit to main • 40ef578…c625c60 • 
on Feb 22

Update SIMPLICITY.md

5HTpushed 1 commit to main • fe640fe…40ef578 • 
on Feb 22

Update SIMPLICITY.md

5HTpushed 1 commit to main • 80d2a31…fe640fe • 
on Feb 22

Update SIMPLICITY.md

5HTpushed 1 commit to main • bcb886e…80d2a31 • 
on Feb 22

Update SIMPLICITY.md

5HTpushed 1 commit to main • 3d96446…bcb886e • 
on Feb 22

Update SIMPLICITY.md

5HTpushed 1 commit to main • 4fe8bf4…3d96446 • 
on Feb 22

Update SIMPLICITY.md

5HTpushed 1 commit to main • 8d74639…4fe8bf4 • 
on Feb 22

Update SIMPLICITY.md

5HTpushed 1 commit to main • 4733b39…8d74639 • 
on Feb 22

Update SIMPLICITY.md

5HTpushed 1 commit to main • 3378d10…4733b39 • 
on Feb 22

Update SIMPLICITY.md

5HTpushed 1 commit to main • 0e024db…3378d10 • 
on Feb 22

Update CANONICITY.md

5HTpushed 1 commit to main • 30acbc5…0e024db • 
on Feb 22

Update CANONICITY.md

5HTpushed 1 commit to main • 9d7e455…30acbc5 • 
on Feb 22

Update CANONICITY.md

5HTpushed 1 commit to main • 3fefa8e…9d7e455 • 
on Feb 22

Update CANONICITY.md

5HTpushed 1 commit to main • bca66a1…3fefa8e • 
on Feb 22

Update CANONICITY.md

5HTpushed 1 commit to main • 795b9a8…bca66a1 • 
on Feb 22

Update SIMPLICITY.md

5HTpushed 1 commit to main • ac08cf0…795b9a8 • 
on Feb 22

Rename TRIPLES.md to SPECTRALITY.md

5HTpushed 1 commit to main • 6785a21…ac08cf0 • 
on Feb 22