株式会社 proofninja

プログラムの正しさを証明して、高信頼なソフトウェアを提供します。
Prove the correctness of the software

[株式会社 proofninja @proof_ninja]

Coqのコードを共有するためのWebサービス #Coqban をつくりました！
https://t.co/xfG8CEab4m
#Coq #jscoq

[株式会社 proofninja @proof_ninja]

近所のケーキ屋さんがケーキにしてくれました！

[株式会社 proofninja @proof_ninja]

創業6年を記念してマッチ棒クイズを作りました！
#マッチ棒クイズ #Rocq #Coq #proofninja

[株式会社 proofninja @proof_ninja]

創業6年を記念してマッチ棒クイズを作りました！
#マッチ棒クイズ #Rocq #Coq #proofninja

[株式会社 proofninja @proof_ninja]

はじまるよ〜!
#rocq #coq
#coqtokyo 第12回Coq Platform勉強会 https://t.co/1OBo8Duhfy

[株式会社 proofninja @proof_ninja]

PHOASでshift/resetのCPS変換 in Rocq(旧Coq) https://t.co/vmYXCeYb5G #Qiita
#Rocq

[株式会社 proofninja @proof_ninja]

本日セッション12で関数型言語OCamlとスマートコントラクトに関する発表をします。slackでもtwitterでもリアルでもご意見ご質問歓迎です。
#jssst_ppl2025 #OCaml #スマートコントラクト #ブロックチェーン

[株式会社 proofninja @proof_ninja]

PPL2025で「OCamlからEVMバイトコードへのコンパイラ」というポスター発表をします。ポスター内容はこちらからもご確認いただけます。
https://t.co/nNDsZCKLCu
#jssst_ppl2025

[株式会社 proofninja @proof_ninja]

PPL2025で「OCamlからEVMバイトコードへのコンパイラ」というポスター発表をします。ポスター内容はこちらからもご確認いただけます。
https://t.co/nNDsZCKLCu
#jssst_ppl2025

[株式会社 proofninja @proof_ninja]

株式会社proof ninjaでは関数型プログラミングによる開発や検証の仕事を募集しています。
まずはお気軽にご相談ください。
#お仕事募集

[株式会社 proofninja @proof_ninja]

株式会社proof ninja はおかげさまで5周年を迎えました。文の菓(ふみのか)さんによるカステラを焼いてもらいました。
#proofninja #プログラミング #証明

[株式会社 proofninja @proof_ninja]

@masahiro_sakai ありがとうございます！

[株式会社 proofninja @proof_ninja]

株式会社proof ninja 創立4周年です！
#ケーキラボマグネット さんにlambda abstractionのtyping ruleをケーキにしてもらいました。
#proofninja #SystemF

[株式会社 proofninja @proof_ninja]

EthereumのActを使う https://t.co/JrEJLoS9KH #Qiita
#Ethereum #スマートコントラクト #形式検証 #Coq #Act

[株式会社 proofninja @proof_ninja]

株式会社proof ninja はこの度、京都大学 大学院情報学研究科 通信情報システム専攻 の 池渕未来 助教 が技術顧問に就任したことをお知らせいたします。

[株式会社 proofninja @proof_ninja]

@yoshihiro503 中身はあんこです。どら焼きなので。
#ワッフルじゃないよ

[株式会社 proofninja @proof_ninja]

3周年です。ありがとうございます。

[株式会社 proofninja @proof_ninja]

Coqのコードを共有するためのWebサービス #Coqban をつくりました！
https://t.co/xfG8CEab4m
#Coq #jscoq

[mod_poppo @mod_poppo]

？？？「STLCがやられたようだな…」
？？？「ククク…奴はLambda Cubeの中で最弱…」
？？？「？？？ごときに倒されるとはラムダ計算の面汚しよ…」

というのを考えたので誰か【？？？】を埋めてください

[株式会社 proofninja @proof_ninja]

おかげさまで2周年を迎えました。
#proofninja #LambdaCube

[Jun Furuse 🐫🌴 @camloeba]

OCaml PPX の資料を書きました。来週話します。 https://t.co/0EAWfQBd3A

[株式会社 proofninja @proof_ninja]

Participating in #TezosDomainsSunrise ☀️ https://t.co/m0UwRLPJWu @tezosdomainsより