Dr Publication

Dr Y.
@humaninexile
Dr Y.'s avatar
Maths/TCS/Science?/Programming/Lean 4/Automated theorem proving/ + other abstract nonsense , probably. No AI use of any kind is used for any steps of writing or making anything here (neutral disclaimer, personal pref. thing).
12 subscribers