• Stars
    star
    13
  • Rank 1,512,373 (Top 30 %)
  • Language
    OCaml
  • License
    GNU General Publi...
  • Created over 1 year ago
  • Updated 13 days 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