SnO₂WMaN's repositories
16-personalities
君に、胸キュン。
lean4-modallogic
Formalization of Modal Logic in Lean 4
rust-proplogic-toylang
この冰剣はアトリビュートであり本質ではない
incompleteness.txt
不完全性定理に関する諸々のメモ
sno2wman.net
ダークらき☆すたキタ━━━━(゚∀゚)━━━━!!
Arithmetization
Formalization of Arithmetization of Metamathematics
Apache-2.0000
arkwnet-569
語録チェッカー
dictionary
ずっと真夏の**コメディー!
lean-by-example
コード例で学ぶ Lean 言語
MIT000
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:Typst000
verso
Lean documentation authoring tool
Apache-2.0000