@PierreLescanne
github

PierreLescanne

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    11
  • Global Rank 920,445 (Top 32 %)
  • Followers 6
  • Following 1
  • Registered over 9 years ago
  • Most used languages
    Haskell
         50.0 %
    Agda     33.3 %
    Coq     16.7 %
  • Location πŸ‡«πŸ‡· France
  • Country Total Rank 19,394
  • Country Ranking
    Agda     11
    Coq     42
    Haskell
         97

Top repositories

1

CanonicalExpression

Canonical expressions are a kind of binary expressions used especially in the implicative calculus of propositions
Haskell
4
star
2

CountingGeneratingAfffineLinearClosedLambdaterms

Haskell
2
star
3

DependentTypesForExtensiveGames

In this repository I present a Coq developement of extensive games using dependent types, together with examples
Coq
2
star
4

DependentTypesForExtensiveGames-in-Agda

Agda
1
star
5

CountingAndGeneratingClosuresAndEnvironments

Counting and generating Closure and Environments in lmabda calculus
Haskell
1
star
6

Lambda-R

Lambda calculus with explicit duplication and erasure (in Agda)
Agda
1
star