search
LoginSignup
search
  1. Trend
  2. Question
  3. Official Event
  4. Official Columnopen_in_new
  5. Organization

@yoshihiro503

rss_feed
229Contributions
38
Posts
153
Followees
86
Followers

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

publicSite/Bloghttp://proofcafe.org/~yoshihiro503/
location_onLocation

Japan

workOrganization

株式会社proof ninja, 名古屋大学

Participating Organizations(1)

proofninja

Following Organizations(1)See all

proofninja

Following tags(36)See all

scamlTezos層圏トポスLaTeXTaPLSoftwarefoundationsProofCafecoqdocNinjaPatternMatch数学関数型言語関数型プログラミングモナドssreflectRaspberryPijs_of_ocamlProofGeneralSML#QuickCheckyesod

Contributions

posted an article

opam publishコマンドを使ってRocqのコードをopamに登録する

posted an article

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

article is Liked

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

posted an article

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

article is Liked

なぜCoqが重要か

article is Liked

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

posted an article

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

article is Liked

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

posted an article

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

posted an article

Darkmode.jsでkatexの数式が消える問題
…
1 / 27Page 1 of 27

How developers code is here.

© 2011-2025Qiita Inc.

Guide & Help

  • About
  • Terms
  • Privacy
  • Guideline
  • Media Kit
  • Feedback/Requests
  • Help
  • Advertisement

Contents

  • Release Note
  • Official Event
  • Official Column
  • Advent Calendar
  • Qiita Award
  • Engineer White Paper
  • API

Official Accounts

  • @Qiita
  • @qiita_milestone
  • @qiitapoi
  • Facebook
  • YouTube
  • Podcast

Our service

  • Qiita Team
  • Qiita Zine
  • Official Shop

Company

  • About Us
  • Careers
  • Qiita Blog
  • News Release