• Stars
    star
    13
  • Rank 1,512,713 (Top 30 %)
  • Language
    OCaml
  • License
    GNU General Publi...
  • Created over 1 year ago
  • Updated about 1 month ago

Reviews

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

Repository Details

Technical interpretation of Girard's transcendental syntax