Skip to content

Activity

Showing most recent first

picture+direct/indirect

anton-petruninpushed 1 commit to master • 8a23af6…9f3c657 • 
27 days ago

constructions>cong

anton-petruninpushed 1 commit to master • ac1adbb…8a23af6 • 
on Feb 3

reflection across point

anton-petruninpushed 1 commit to master • 7261ee4…ac1adbb • 
on Feb 2

minor

anton-petruninpushed 1 commit to gh-pages • f499696…bb84040 • 
on Jan 10

fix(car)

anton-petruninpushed 1 commit to gh-pages • 22d1028…f499696 • 
on Nov 27, 2024

older-version

anton-petruninpushed 1 commit to gh-pages • 93c659f…22d1028 • 
on Nov 27, 2024

geogebra

anton-petruninpushed 1 commit to gh-pages • 8269055…93c659f • 
on Nov 27, 2024

+geogebra

anton-petruninpushed 1 commit to gh-pages • 3c156a7…8269055 • 
on Nov 18, 2024

-(note that)

anton-petruninpushed 1 commit to master • 90da27f…7261ee4 • 
on Aug 3, 2024

thanks to Berk Ceylan

anton-petruninpushed 1 commit to master • 5348eb7…90da27f • 
on Mar 1, 2024

arXiv:v23 third edition eighth printing

anton-petruninpushed 1 commit to master • c84c83e…5348eb7 • 
on Dec 10, 2023

klein

anton-petruninpushed 1 commit to master • fae242a…c84c83e • 
on Dec 5, 2023

+<param name="tools" value="move hide" />

anton-petruninpushed 1 commit to gh-pages • 762fd94…3c156a7 • 
on Dec 4, 2023

front

anton-petruninpushed 2 commits to gh-pages • cd310c2…762fd94 • 
on Dec 1, 2023

sphere

anton-petruninpushed 1 commit to master • 0b972e7…fae242a • 
on Nov 30, 2023

fix(Van Aubel)

anton-petruninpushed 1 commit to master • 33adc51…0b972e7 • 
on Nov 17, 2023

+ex:common-perp

anton-petruninpushed 1 commit to master • 55d6ef5…33adc51 • 
on Nov 16, 2023

+(pic-229)

anton-petruninpushed 1 commit to master • 766e57e…55d6ef5 • 
on Nov 14, 2023

+ affine-thms - finite-proj

anton-petruninpushed 1 commit to master • 3f22885…766e57e • 
on Nov 14, 2023

Taurinus+

anton-petruninpushed 1 commit to master • 6e81a58…3f22885 • 
on Nov 8, 2023

misprints(Stopper)

anton-petruninpushed 1 commit to master • 3f4c3b3…6e81a58 • 
on Oct 16, 2023

compass-and-ruler

anton-petruninpushed 1 commit to master • f82a7ce…3f4c3b3 • 
on Sep 30, 2023

openai

anton-petruninpushed 1 commit to master • 3308dd0…f82a7ce • 
on Sep 27, 2023

+2ex

anton-petruninpushed 1 commit to master • fcec7dc…3308dd0 • 
on Sep 20, 2023

a/the

anton-petruninpushed 1 commit to master • 0ba1b25…fcec7dc • 
on Sep 15, 2023

minor

anton-petruninpushed 1 commit to master • 36a7834…0ba1b25 • 
on Sep 1, 2023

emph

anton-petruninpushed 1 commit to master • 2f0fb1c…36a7834 • 
on Aug 31, 2023

+ex:ncong

anton-petruninpushed 1 commit to master • 96fb057…2f0fb1c • 
on Aug 30, 2023

.s

anton-petruninpushed 1 commit to master • 8981944…96fb057 • 
on Aug 30, 2023

-\[AB+PQ\le AP+AQ+BP+PQ\]

anton-petruninpushed 1 commit to master • 48bde47…8981944 • 
on Aug 25, 2023