Skip to content
View SnO2WMaN's full-sized avatar
🐔
𝙻𝙴𝙰𝚅𝙸𝙽𝙶 𝚃𝙷𝙸𝚂 𝚆𝙾𝚁𝙻𝙳 𝙸𝚂 𝙽𝙾𝚃 𝙰𝚂 𝚂𝙲𝙰𝚁𝚈 𝙰𝚂 𝙸𝚃 𝚂𝙾𝚄𝙽𝙳𝚂.
🐔
𝙻𝙴𝙰𝚅𝙸𝙽𝙶 𝚃𝙷𝙸𝚂 𝚆𝙾𝚁𝙻𝙳 𝙸𝚂 𝙽𝙾𝚃 𝙰𝚂 𝚂𝙲𝙰𝚁𝚈 𝙰𝚂 𝙸𝚃 𝚂𝙾𝚄𝙽𝙳𝚂.
248 followers · 319 following

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

  • 16-personalities Public

    君に、胸キュン。

    TypeScript 5 Do What The F*ck You Want To Public License Updated Mar 7, 2025

  • sno2wman.net Public

    ダークらき☆すたｷﾀ━━━━(ﾟ∀ﾟ)━━━━!!

    Astro 2 Do What The F*ck You Want To Public License Updated Mar 3, 2025

  • SmullyanTP Public

    Formalizing of "Smullyan's Truth & Provability"

    Lean Creative Commons Attribution 4.0 International Updated Mar 1, 2025

  • notes-on-modal-logics Public

    Notes on Modal Logics

    Typst Creative Commons Attribution 4.0 International Updated Feb 19, 2025

  • typst-report-template Public template

    Typst 2 Creative Commons Attribution 4.0 International Updated Feb 19, 2025

  • notes-on-kripke-incomplete-modal-logic Public

    Notes on Kripke Incompleteness Logic

    Typst Creative Commons Attribution 4.0 International Updated Feb 14, 2025

  • notes-on-nonstandard Public

    Notes on Nonstandard Modal

    Typst Creative Commons Attribution 4.0 International Updated Jan 26, 2025

  • notes-on-yablo-paradox Public

    Notes on Yablo Paradox

    Typst Creative Commons Attribution 4.0 International Updated Jan 26, 2025

  • notes-on-henkin-construction Public

    Notes on Completeness by Henkin Construction

    Typst Creative Commons Attribution 4.0 International Updated Jan 25, 2025

  • shiroa-playground Public

    Typst Updated Dec 9, 2024

  • lean4-mahjong Public

    Lean 2 1 MIT License Updated Dec 9, 2024

  • install-fontsource-action Public

    Install fonts via Fontsource for GitHub Actions

    YAML MIT License Updated Dec 8, 2024

  • notes-on-smullyanTP Public

    Note on SmullyanTP

    Typst Creative Commons Attribution 4.0 International Updated Dec 1, 2024

  • install-juliamono-action Public

    Install JuliaMono for GitHub Actions

    YAML MIT License Updated Nov 29, 2024

  • slides-for-tpp2024 Public

    Typst 1 Creative Commons Attribution 4.0 International Updated Nov 24, 2024

  • lean2wasm Public

    Forked from T-Brick/lean2wasm

    Tool for compiling Lean to WASM

    Lean 1 MIT License Updated Nov 14, 2024

  • texnix-template Public template

    TeX Updated Sep 20, 2024

  • provability-logic-note Public

    Note on Provability Logic

    TeX Updated Sep 20, 2024

  • modal-companion-note Public

    Note on Modal Companion

    TeX Updated Sep 20, 2024

  • dictionary Public

    ずっと真夏の侵略コメディー！

    Do What The F*ck You Want To Public License Updated Sep 8, 2024

  • Arithmetization Public

    Forked from FormalizedFormalLogic/Arithmetization

    Formalization of Arithmetization of Metamathematics

    Lean Apache License 2.0 Updated Sep 4, 2024

  • lean-by-example Public

    Forked from lean-ja/lean-by-example

    コード例で学ぶ Lean 言語

    Lean MIT License Updated Jul 22, 2024

  • verso Public

    Forked from leanprover/verso

    Lean documentation authoring tool

    Lean Apache License 2.0 Updated Jul 19, 2024

  • Liked Public

    ジョークや芸術作品としての表現・言論の自由ももちろん認められるべきですが、この投稿ではソースが明確でない情報を、事実と誤認されかねない表現で発信していたため、ノートを作成しました。

    TypeScript 3 Do What The F*ck You Want To Public License Updated Jun 12, 2024

  • lean4-logic Public archive

    Forked from FormalizedFormalLogic/Foundation

    Lean4 Logic Formalization

    Lean Apache License 2.0 Updated Jun 11, 2024

  • deno2nix Public archive

    Integrate Deno with Nix

    nix deno
    Nix 56 23 MIT License Updated Jun 7, 2024

  • SnO2WMaN Public

    M.C.ドナルドはダンスに夢中なのか？最終鬼畜道化師ドナルド・Ｍ

    readme profile
    3 Updated Apr 29, 2024

  • lean4-modallogic Public archive

    Formalization of Modal Logic in Lean 4

    logic lean incompleteness lean4
    Lean 3 Creative Commons Zero v1.0 Universal Updated Mar 3, 2024

  • modallogic-text Public

    標準様相論理の諸性質とその形式化

    Typst Do What The F*ck You Want To Public License Updated Feb 4, 2024

  • typst-coins-thesis Public

    Forked from yukukotani/typst-coins-thesis

    筑波大学情報科学類の卒業論文向けのTypstテンプレート

    Typst Apache License 2.0 Updated Feb 4, 2024