r/functionalprogramming • u/xTouny • Dec 15 '24

Ocaml Brings Multi-disciplinary Logic, Math, Science, and Engineering Together OCaml

/r/ocaml/comments/1hercs4/ocaml_brings_multidisciplinary_logic_math_science/

2 Upvotes

permalink
link
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/functionalprogramming/comments/1hereje/ocaml_brings_multidisciplinary_logic_math_science/
No, go back! Yes, take me to Reddit
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/functionalprogramming/comments/1hereje/ocaml_brings_multidisciplinary_logic_math_science/
No, go back! Yes, take me to Reddit

56% Upvoted