Bas Haaksema (@bhaaksema)
github

bhaaksema

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    11
  • Global Rank 915,863 (Top 32 %)
  • Followers 5
  • Following 20
  • Registered over 8 years ago
  • Most used languages
    HTML
         25.0 %
    Haskell
         25.0 %
    Prolog
         25.0 %
    JavaScript
         25.0 %

Top repositories

1

rug-picalc

Executable Specification of Pi-Calculus with Reduction Semantics in Maude.
5
star
2

guanaco-doc

Guanaco Documentation
HTML
2
star
3

guanaco

A Syntactic Proof Guide for Epistemic Logic
JavaScript
1
star
4

g4ip-prolog

Automated Theorem Prover for Intuitionistic Propositional Logic
Prolog
1
star
5

super-prover

Automated Theorem Prover for Propositional Superintuitionistic Logics
Haskell
1
star
6

bootstrap-websites

0
star