search
search
Search
Login
Signup
search
Trend
Stock List
Question
Qiita Conference
Official Event
Official Column
open_in_new
Organization
Qiita Careers
open_in_new
AI x Dev x Team
open_in_new
株式会社proof ninja
ソフトウェアを数学的に証明する会社です。
Follow
note
Posts
39
posts
favorite
Likes
141
likes
person
Followers
3
followers
For those interested in this Organization
language
rss_feed
flag
Report organization
Home
Articles
Members
Profile
trending_up
Popular articles
@yoshihiro503
2014-04-24
なぜCoqが重要か
@yoshihiro503
2015-06-09
Coqコーディング規約
@yoshihiro503
2018-12-14
Erlangの型検査ツールDialyzerの実装を読む
@yoshihiro503
2015-08-10
coqdocで日本語を含むPDFを生成する
@yoshihiro503
2015-08-13
Coqでもあのニンジャパターンマッチが使えるぜ
military_tech
Contributors
business_center
Frequently used tags
Coq
OCaml
ProofCafe
Erlang
ssreflect
Tezos
Scala
Softwarefoundations
dialyzer
ProofGeneral
list
New articles
@yoshihiro503
2026-03-21
かんたんABC記法
@yoshihiro503
2026-02-13
RocqのInductiveで相互帰納型を作ったときの帰納法
@yoshihiro503
2025-04-11
Coqの自作コードをopamに登録する方法
@yoshihiro503
2024-11-10
OCamlで日本語を一文字ずつ扱う
@yoshihiro503
2024-04-18
opamではインストールしたのにduneで見つからないと言われたときの対処法
See more
Coq
OCaml
ProofCafe
Erlang
ssreflect
Tezos
Scala
Softwarefoundations
ProofGeneral