[B! 定理証明器] igrepのブックマーク

igrep id:igrep

定理証明器に関するigrepのブックマーク (7)

GitHub - egison/egison-prover: Proof writing language with Egison pattern matching
igrep 2022/11/26
Haskell

egison

定理証明器
リンク
GitHub - cicada-lang/cicada: Cicada Language
igrep 2022/03/08
“Cicada language is a dependently typed programming language and an interactive theorem prover.”

依存型

定理証明器
リンク
GitHub - liamoc/holbert: A graphical interactive proof assistant designed for education
igrep 2021/07/19
Haskell

定理証明器
リンク
Arend
Arend Arend is a theorem prover based on Homotopy Type Theory. It natively supports higher inductive types and a version of cubical syntax. IntelliJ Arend is a plugin for IntelliJ IDEA that turns it into a full-fledged IDE for the Arend language. Arend Features IntelliJ Arend Features
igrep 2019/09/08
定理証明器

intellij
リンク
GitHub - VictorTaelin/Formality
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
igrep 2019/01/26
Rust

定理証明器
リンク
GitHub - latte-central/LaTTe: LaTTe : a Laboratory for Type Theory experiments (in clojure)
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
igrep 2018/11/07
“LaTTe is a proof assistant library based on type theory”Clojure向け定理証明支援ライブラリー

clojure

定理証明器
リンク
tpp2018
igrep 2018/11/04
“The 14th Theorem Proving and Provers meeting (TPP 2018)”アクセス制限があるのか、 "View On GitHub" のリンクが404になってしまう...。

定理証明器

イベント
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx