SnO₂WMaN's repositories
lean4-modallogic
Formalization of Modal Logic in Lean 4
rust-proplogic-toylang
この冰剣はアトリビュートであり本質ではない
incompleteness.txt
不完全性定理に関する諸々のメモ
infrastructures
皆 「「ウィーアー ザ・セイバーズ!!!!!!!!!!!!!!!!!!!!!!!」」
sno2wman.net
ダークらき☆すたキタ━━━━(゚∀゚)━━━━!!
typst-tarski-undefinability-report
Typstで書かれたTarskiの真理定義不可能性定理に関してのレポート
arkwnet-569
語録チェッカー
dictionary
ずっと真夏の**コメディー!
lean4-concatenation-theory
Formalization of Concatination Theory in Lean 4
lean4-logic
Lean4 Logic Formalization
luthm
Tool to list unproved (by proved sorry) theorems in Lean4
Language:Lean000
mathlib4-all-tactics
Markdown file of the list and explanations of all mathlib4 tactics
Language:LeanApache-2.0000
modallogic-text
標準様相論理の諸性質とその形式化
Language:TypstWTFPL000
nurl
Generate Nix fetcher calls from repository URLs [maintainer=@figsoda]
MPL-2.0000
SATySFi
A statically-typed, functional typesetting system
Language:OCamlLGPL-3.0000
typst-coins-thesis
筑波大学情報科学類の卒業論文向けのTypstテンプレート
Language:TypstApache-2.0000
Language:Typst000