- 16 May, 2022 5 commits
-
-
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
- 15 May, 2022 5 commits
-
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
dacin21 authored
-
- 14 May, 2022 1 commit
-
-
dacin21 authored
-
- 12 May, 2022 1 commit
-
-
manuelwe authored
-
- 11 May, 2022 10 commits
-
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
- 06 May, 2022 1 commit
-
-
manuelwe authored
-
- 04 May, 2022 1 commit
-
-
manuelwe authored
-
- 03 May, 2022 4 commits
-
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
manuelwe authored
-
- 02 May, 2022 6 commits
-
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
Manuel Wettstein authored
reworked first improvement a bit, in particular factored out definition of generalized double circles
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
- 24 Mar, 2022 1 commit
-
-
Manuel Wettstein authored
-
- 22 Mar, 2022 3 commits
-
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
Manuel Wettstein authored
-
- 20 Mar, 2022 1 commit
-
-
dacin21 authored
-
- 16 Mar, 2022 1 commit
-
-
manuelwe authored
-