Jakob Werner jdw · any pronouns
jdw pushed to affine-schemes at jdw/constructive-algebraic-geometr... 2026年07月07日 17:53:45 +02:00
e9853784da Add sec:affine_space
e717814226 Add sec:affine_schemes
Compare 2 commits »
jdw pushed to affine-schemes at jdw/constructive-algebraic-geometr... 2026年06月28日 11:03:12 +02:00
089d9a748f Add sec:functors
jdw pushed to main at jdw/Dotfiles 2026年06月28日 08:26:46 +02:00
95fb76ae95 Add latex snippets
1fa80a533d Add vscode settings
c621eff054 Remove git template
Compare 3 commits »
jdw pushed to affine-schemes at jdw/constructive-algebraic-geometr... 2026年06月27日 16:25:25 +02:00
f2ca55214b Add sec:rings_algebras
jdw created branch affine-schemes in jdw/constructive-algebraic-geometr... 2026年06月27日 16:25:25 +02:00
jdw deleted branch theorem-spacing from jdw/constructive-algebraic-geometr... 2026年06月26日 11:58:46 +02:00
jdw pushed to main at jdw/constructive-algebraic-geometr... 2026年06月26日 11:58:46 +02:00
3e86f8d786 Fix theorem spacing
jdw merged pull request jdw/constructive-algebraic-geometr...#1 2026年06月26日 11:58:45 +02:00
Fix theorem spacing
jdw created pull request jdw/constructive-algebraic-geometr...#1 2026年06月26日 11:57:46 +02:00
Fix theorem spacing
jdw pushed to theorem-spacing at jdw/constructive-algebraic-geometr... 2026年06月26日 11:57:16 +02:00
3e86f8d786 Fix theorem spacing
jdw created branch theorem-spacing in jdw/constructive-algebraic-geometr... 2026年06月26日 11:57:16 +02:00
jdw opened issue fgolke/typst-lemming#4 2026年06月26日 11:37:03 +02:00
End-maker doesn't seem to have an effect
jdw pushed to main at jdw/constructive-algebraic-geometr... 2026年06月25日 17:41:38 +02:00
da160918ad Update dependencies
jdw pushed to main at jdw/constructive-algebraic-geometr... 2026年06月25日 17:29:07 +02:00
9b24a1631e Add sec:filtered_colimits
jdw pushed to main at jdw/constructive-algebraic-geometr... 2026年06月21日 18:23:00 +02:00
15a608bfd2 Finitely generated equivalence relations
jdw pushed to main at jdw/constructive-algebraic-geometr... 2026年06月19日 17:00:41 +02:00
757ff07188 Add sec:unordered_sums
jdw pushed to main at jdw/constructive-algebraic-geometr... 2026年06月19日 16:59:08 +02:00
d1b35576b8 Add sec:unordered_sums
jdw pushed to main at jdw/constructive-algebraic-geometr... 2026年06月18日 16:42:43 +02:00
5aa26222f1 Initial commit
jdw created branch main in jdw/constructive-algebraic-geometr... 2026年06月18日 16:42:42 +02:00
jdw created repository jdw/constructive-algebraic-geometr... 2026年06月17日 12:24:00 +02:00