Skip to main content

Search This Blog

Zurab Janelidze's Blog

Home
About the Author

Posts

Showing posts from August, 2022

August 30, 2022

The SOFiA Proof Assistant Project

Get link
Facebook
X
Pinterest
Email
Other Apps

August 17, 2022

Bracket Notation for Mathematical Proofs

Get link
Facebook
X
Pinterest
Email
Other Apps

August 16, 2022

Category Theory 2022 - an NGA course

Get link
Facebook
X
Pinterest
Email
Other Apps

August 12, 2022

Mathematical Structures Course 2022

Get link
Facebook
X
Pinterest
Email
Other Apps

August 02, 2022

Elementary Introduction to Set Theory

Get link
Facebook
X
Pinterest
Email
Other Apps

Newer Posts Older Posts Home

Topics

math33 talk10 teaching10 research9 music8 abstract math for school6 education4 ideas4 impromptu4 piano4

art3 category theory3 matrix properties3 phylosophy3 sofia3 theory of forms3 chatGPT2 composition2 conference2 course2 lecture notes2 mathematical structures2 programming2 proof writing2 strings2 the proof course2 timeline2 NITheCS1 abstract1 ballet1 cartoon1 dancing1 discussion1 flute1 fundamano1 game1 guitar1 people1 projects1 seminar1 set theory1 sheetmusic1 story1 the kindest ending1 water1

Show more Show less

Post Archive

2025 2
- September 2025 2

2024 4
2023 17
2022 22
2021 11
2016 1
- September 2016 1
2015 1
- September 2015 1

Show more Show less

Visits

Translate

Followers