Go to Qiita Advent Calendar Top

株式会社proof ninja

ソフトウェアを数学的に証明する会社です。

Other activities

2026-07-29

OCamlのtoplevelで Error: Reference to undefined compilation unit `Digestif' というエラーが出たとき

2026-07-10

証明済みのJane StreetのBaseライブラリを作った話

2026-07-02

opam環境をディレクトリにリンクするよ

2026-03-21

かんたんABC記法

2026-02-13

RocqのInductiveで相互帰納型を作ったときの帰納法

2025-04-11

Coqの自作コードをopamに登録する方法

2024-11-10

OCamlで日本語を一文字ずつ扱う

2024-04-18

opamではインストールしたのにduneで見つからないと言われたときの対処法

2024-03-17

OCamlでdologを使ってログ出力をする

2023-12-22

Darkmode.jsでkatexの数式が消える問題

2022-07-07

Tezosのghostnetにローカルノードをつなげて蛇口からお金をもらう方法

2022-06-14

OCamlのCohttpで No SSL or TLS support compiled into Conduit という実行時エラーになってしまった時

2021-09-16

Tezos clientでblock levelごとのoperation数を調べる方法

2020-07-13

Tezos v7.2 を carthagenet で動かす

2020-04-23

tezos-client の使い方チートシート

2019-01-23

obeamのtype_t逆引き対応表

2018-12-26

Success TypingのCase規則の改善案

2018-12-14

Erlangの型検査ツールDialyzerの実装を読む

2018-12-03

Core Erlangにおける型の内部表現

2018-10-04

はじめて学ぶ人のためのScala<->Erlang構文対応表