Doing a math assignment with the Lean theorem prover
3 by ahelwer | 0 comments on Hacker News.
Sunday, April 5, 2020
Subscribe to:
Post Comments (Atom)
All in one Place
Breaking
Home Top Ad
Responsive Ads Here
Search This Blog
Music
2/Music/grid-big
Nature
3/Nature/grid-small
About Me
Recent
Popular
-
How Metro Agencies Design the Letter 'M' 4 by quakeguy | 0 comments on Hacker News.
-
Boden cross-platform framework: Native C++11, native widgets, no JavaScript 112 by ashsys | 74 comments on Hacker News.
-
Charity is no substitute for humanity 86 by smacktoward | 30 comments on Hacker News.
-
Crystal 0.34.0 Released 3 by fells | 0 comments on Hacker News.
-
The BBC tracked down survivors of a crash involving migrants and a smuggler on the Hungarian border. from BBC News - World https://ift.tt/...
Comments
Pages
Tags
Recent News
About Me
Hello, my name is Jack Sparrow. I'm a 50 year old self-employed Pirate from the Caribbean.
Learn More →
Contact Form
Categories
Crafted with by Templatesyard | Distributed by Blogspot
No comments:
Post a Comment