ikedaisuke/Pythagoras ikedaisuke/Pythagoras

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
  • Created about 13 years ago
  • Updated about 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ikedaisuke/Pythagoras
github

ikedaisuke

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A proof of Pythagoras's theorem by Agda2 (from the original proof by Thierry Coquand)

More Repositories

1

rushcheck

A lightweight (but tricky) random testing tool for Ruby
Ruby
57
star
2

HoareLogic

Hoare Logic in Agda2 (import from http://ocvs.cfv.jp/Agda/readmehoare.html)
7
star
3

OnlineStudyMeetings

GitHubでオンライン勉強会
4
star
4

ruby-kansai-ical

Ruby関西のスケジュールを iCalendar 形式で作成
Ruby
3
star
5

TPPmark2011

A proof of the problem TPP2011, called TPPmark
2
star
6

goa

Offers an interface to be able to call Lambdabot commands within GHCi
Haskell
1
star
7

flymake-Haskell

A minor mode flymake for Haskell
Perl
1
star
8

flymake-LaTeX

A minor mode flymake for LaTeX
Shell
1
star
9

BLAST

Verification of some C programs using BLAST
C
1
star
10

Blogs

the entire contents of my blogs
Java
1
star