Math is always a fascinating subject for me. Particularly the one related to proof and type theory that coined out in curry howard isomorphism. Strange somehow, that I could graduate from bachelor in informatics without knowing this theorem.
My curiousity grows even wilder when I work around people who acquintance with this and using incredible tool such as Coq. It's so cool! Then I dig further into this. Let's see what can I learn from this curiosity.
My curiousity grows even wilder when I work around people who acquintance with this and using incredible tool such as Coq. It's so cool! Then I dig further into this. Let's see what can I learn from this curiosity.
Tidak ada komentar:
Posting Komentar