Pinned Repositories
ALIS_API
ApproximationFixpointTheory
arrow
arrow_impossibility
automaton
Axiomatic_Set_Theory
BlackJack
category-agda
Category Theory in Agda
compiler
大堀淳著「コンパイラ-原理と構造-」の命題のCoqによる証明
gaxiiiiiiiiiiii's Repositories
gaxiiiiiiiiiiii/compiler
大堀淳著「コンパイラ-原理と構造-」の命題のCoqによる証明
gaxiiiiiiiiiiii/ALIS_API
gaxiiiiiiiiiiii/ApproximationFixpointTheory
gaxiiiiiiiiiiii/arrow
gaxiiiiiiiiiiii/arrow_impossibility
gaxiiiiiiiiiiii/automaton
gaxiiiiiiiiiiii/Axiomatic_Set_Theory
gaxiiiiiiiiiiii/BlackJack
gaxiiiiiiiiiiii/clustering_alis
gaxiiiiiiiiiiii/CoPL
gaxiiiiiiiiiiii/coq-record-update
Library to create Coq record update functions
gaxiiiiiiiiiiii/coroutine
gaxiiiiiiiiiiii/DafnyCrypto
A cryptography library written in Dafny which focuses on SNARKs and related systems.
gaxiiiiiiiiiiii/discord_bot
gaxiiiiiiiiiiii/GovernmentStateMachine
gaxiiiiiiiiiiii/GroupTheory
gaxiiiiiiiiiiii/lattice
gaxiiiiiiiiiiii/MK
gaxiiiiiiiiiiii/NEO_hackathon
gaxiiiiiiiiiiii/ostle
gaxiiiiiiiiiiii/othello
gaxiiiiiiiiiiii/pi_calc
gaxiiiiiiiiiiii/programming_bitcoin_haskell
gaxiiiiiiiiiiii/RegLang
gaxiiiiiiiiiiii/ronkeisya
gaxiiiiiiiiiiii/scrape_slack
gaxiiiiiiiiiiii/sets
gaxiiiiiiiiiiii/SetTheory
松坂和夫著の集合・位相入門のCoqによる実装
gaxiiiiiiiiiiii/smart-contracts
A few smart contracts
gaxiiiiiiiiiiii/trend_detector