Rzk
#Fleeting_Notes
Rzk proof assistant
from:
#general > seeing what a tactic did - Lean - Zulip
An experimental proof assistant for synthetic ∞-categories.
synthetic ∞-categories(合成無限圏)を扱うための定理証明支援系プログラミング言語？
↓のためのやつ？
https://emilyriehl.github.io/files/synthetic.pdf
公式ページ:
Rzk proof assistant - Rzk proof assistant
GitHub:
rzk-lang/rzk: An experimental proof assistant based on a type theory for synthetic ∞-categories.
確認用
Q. Rzk
調査用
Google.icon
Rzk(日)
Google.icon
Rzk(英)
Wikipedia.icon
Rzk - Wikipedia(日)
Rzk(検索) - Wikipedia(日)
Wikipedia.icon
Rzk - Wikipedia(英)
Rzk(検索) - Wikipedia(英)