Andreas Piotrowski (@bookofproofs)
github

bookofproofs

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    16
  • Global Rank 735,326 (Top 26 %)
  • Followers 1
  • Following 1
  • Registered about 5 years ago
  • Most used languages
    HTML
         33.3 %
    Python
         33.3 %
    F#
         33.3 %
  • Location ๐Ÿ‡ฉ๐Ÿ‡ช Germany
  • Country Total Rank 33,494
  • Country Ranking
    F#
         65
    HTML
         2,737
    Python
         7,655

Top repositories

1

fpl

FPL - the "Formal Proving Language" is a project to create a universal, human-readable language to formulate mathematical definitions, theorems, and proofs.
Python
9
star
2

bookofproofs.github.io

HTML
4
star
3

fpl.net

F#
3
star