Skip to content
View SnO2WMaN's full-sized avatar
๐Ÿ”
๐™ป๐™ด๐™ฐ๐š…๐™ธ๐™ฝ๐™ถ ๐šƒ๐™ท๐™ธ๐š‚ ๐š†๐™พ๐š๐™ป๐™ณ ๐™ธ๐š‚ ๐™ฝ๐™พ๐šƒ ๐™ฐ๐š‚ ๐š‚๐™ฒ๐™ฐ๐š๐šˆ ๐™ฐ๐š‚ ๐™ธ๐šƒ ๐š‚๐™พ๐š„๐™ฝ๐™ณ๐š‚.
๐Ÿ”
๐™ป๐™ด๐™ฐ๐š…๐™ธ๐™ฝ๐™ถ ๐šƒ๐™ท๐™ธ๐š‚ ๐š†๐™พ๐š๐™ป๐™ณ ๐™ธ๐š‚ ๐™ฝ๐™พ๐šƒ ๐™ฐ๐š‚ ๐š‚๐™ฒ๐™ฐ๐š๐šˆ ๐™ฐ๐š‚ ๐™ธ๐šƒ ๐š‚๐™พ๐š„๐™ฝ๐™ณ๐š‚.
265 followers · 376 following
  • ใƒใƒซใƒŽใฎใƒ‘ใƒผใƒ•ใ‚งใ‚ฏใƒˆใ•ใ‚“ใ™ใ†ๆ•™ๅฎค
  • X @SnO2WMaN

Highlights

Organizations

@asdf-community @SnO2WMaN-HQ @bo2kshelf @henken-club @sno2wiki @cosmod-genq @otomadb @FormalizedFormalLogic

Block or report SnO2WMaN

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
Stars

๐Ÿ““ My Notes

My Notes
9 repositories

SnO2WMaN / provability-logic-note

Note on Provability Logic

TeX 1 Updated Sep 20, 2024

SnO2WMaN / modal-companion-note

Note on Modal Companion

TeX 1 Updated Sep 20, 2024

SnO2WMaN / notes-on-smullyanTP

Note on SmullyanTP

Typst 1 Updated Dec 1, 2024

SnO2WMaN / notes-on-henkin-construction

Notes on Completeness by Henkin Construction

Typst 1 Updated Jan 25, 2025

SnO2WMaN / notes-on-yablo-paradox

Notes on Yablo Paradox

Typst 1 Updated Jan 26, 2025

SnO2WMaN / notes-on-nonstandard

Notes on Nonstandard Modal

Typst 1 Updated Jan 26, 2025

SnO2WMaN / notes-on-kripke-incomplete-modal-logic

Notes on Kripke Incompleteness Logic

Typst 1 Updated Feb 14, 2025

SnO2WMaN / notes-on-modal-logics

Notes on Modal Logics

Typst 1 Updated Feb 19, 2025

SnO2WMaN / notes-neighborhood-filtration-seminar

Typst 1 Updated Jan 14, 2026