Repositories
yamarten/atproto-website
yamarten/bsky-docs
Bluesky API documentation
yamarten/atproto
Social networking technology created by Bluesky
yamarten/social-app
The Bluesky Social application for Web, iOS, and Android
yamarten/coq_ja_work
【作業用】Coqリファレンスマニュアル非公式日本語訳
yamarten/jbonichimac
jbovlasteのロジバン-日本語辞書をMacOS標準辞書形式に変換
yamarten/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
yamarten/coq_ja
Coqリファレンスマニュアル和訳