株式会社 proofninja

Coqのコードを共有するためのWebサービス #Coqban をつくりました！ proof-ninja.github.io/coqban/ #Coq #jscoq

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

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

はじまるよ〜! #rocq #coq #coqtokyo 第12回Coq Platform勉強会 readcoqart.connpass.com/event/358784/

PHOASでshift/resetのCPS変換 in Rocq(旧Coq) qiita.com/mrkbc/items/89… #Qiita #Rocq

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

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

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

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

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

素敵なケーキ！🎂 おめでとうございます！🎉

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

EthereumのActを使う qiita.com/mrkbc/items/23… #Qiita #Ethereum #スマートコントラクト #形式検証 #Coq #Act

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

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

ラムダ計算の定義をどら焼きにしました。 #LambdaCalculus #Computability #TermRewriting

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

Coqのコードを共有するためのWebサービス #Coqban をつくりました！ proof-ninja.github.io/coqban/ #Coq #jscoq

？？？「STLCがやられたようだな…」 ？？？「ククク…奴はLambda Cubeの中で最弱…」 ？？？「？？？ごときに倒されるとはラムダ計算の面汚しよ…」 というのを考えたので誰か【？？？】を埋めてください

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

OCaml PPX の資料を書きました。来週話します。 dailambda.jp/slides/2021-04…

Participating in #TezosDomainsSunrise ☀️ tezos.domains/learn/sunrise @tezosdomainsより