Back to Results
First PageMeta Content
Structure / Mathematical logic / Formal methods / Algebra / Boolean algebra / Chiron / Logic / Algorithm / Module / Mathematics / Algebraic structures / Theoretical computer science


Chiron : Mechanizing Mathematics in OCaml By Hong Ni, B.Science
Add to Reading List

Document Date: 2012-05-01 16:42:08

Open Document

File Size: 643,50 KB

Share Result on Facebook
UPDATE