Explore >> Select a destination
|
You are here 
|
jiggerwit.wordpress.com | ||
| | | | |
xenaproject.wordpress.com
|
|
| | | | | This is a guest post, written by Zhangir Azerbayev. Zhangir is an undergraduate at Yale, majoring in computer science and mathematics. He completed this work while visiting Carnegie Mellon's Hoskinson Center for Formal Mathematics. Introduction The history of interactive theorem proving can be told as a story of allowing the user to interact with the... | |
| | | | |
terrytao.wordpress.com
|
|
| | | | | Almost three weeks ago, I proposed a collaborative project, combining the efforts of professional and amateur mathematicians, automatic theorem provers, AI tools, and the proof assistant language L... | |
| | | | |
www.jeremykun.com
|
|
| | | | | For those who aren't regular readers: as a followup to this post, there are four posts detailing the basic four methods of proof, with intentions to detail some more advanced proof techniques in the future. You can find them on this blog's primers page. Do you really want to get better at mathematics? Remember when you first learned how to program? I do. I spent two years experimenting with Java programs on my own in high school. | |
| | | | |
crocidb.com
|
|
| | | Some of my thoughts on Rust, after working with it for the last 6 months on bulletty, the TUI feed reader | ||
