coneng (@conengine)
github

conengine

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2
  • Global Rank 2,219,069 (Top 77 %)
  • Following 2
  • Registered about 9 years ago
  • Most used languages
    Mathematica     50.0 %
    OCaml
         50.0 %
  • Location 🇯🇵 Japan
  • Country Total Rank 25,007
  • Country Ranking
    Mathematica     31
    OCaml
         172

Top repositories

1

SA_is_GA

A formal proof of "GA = SA"
OCaml
1
star
2

SimpleSet

A finite/Infinite set data type.
Mathematica
1
star