Home
About
Contact
Documentation
Download This Template
News Alert
Home
Features
_Multi DropDown
__DropDown 1
__DropDown 2
__DropDown 3
_ShortCodes
_SiteMap
_Error Page
Documentation
Video Documentation
Download This Template
Home
/
Hacker News
/
New top story on Hacker News: Doing a math assignment with the Lean theorem prover
New top story on Hacker News: Doing a math assignment with the Lean theorem prover
nasir khan
April 05, 2020
Hacker News
Doing a math assignment with the Lean theorem prover
5 by ahelwer |
1 comments
on Hacker News.
New top story on Hacker News: Doing a math assignment with the Lean theorem prover
Reviewed by
nasir khan
on
April 05, 2020
Rating:
5
Popular Posts
New top story on Hacker News: Show HN: I made a script to generate self-signed SSL certs for local development
New top story on Hacker News: Can't find a good time to create an abstraction? Check out the 1, 2, n pattern
New top story on Hacker News: VW CEO says they’ll have ‘EVs as good as Tesla’s for half the price by 2020’
Blog Archive
Blog Archive
January (21)
December (51)
November (51)
October (51)
September (46)
August (51)
July (46)
June (43)
May (48)
April (44)
March (50)
February (45)
January (40)
December (42)
November (45)
October (50)
September (77)
August (79)
July (99)
June (113)
May (161)
April (152)
March (160)
February (150)
January (162)
December (164)
November (159)
October (194)
September (185)
August (193)
July (175)
June (172)
May (171)
April (174)
March (177)
February (160)
January (212)
December (375)
November (638)
October (666)
September (634)
August (713)
July (713)
June (690)
May (707)
April (690)
March (713)
February (644)
January (713)
December (713)
November (690)
October (645)
September (689)
August (712)
July (713)
June (690)
May (713)
April (690)
March (713)
February (667)
January (712)
December (711)
November (690)
October (711)
September (687)
August (713)
July (713)
June (689)
May (3000)
April (2964)
March (3063)
February (2770)
January (3052)
December (3048)
November (2961)
October (3062)
September (2961)
August (3053)
July (3065)
June (2900)
May (2903)
August (13)
July (1)
June (27)
May (1)
April (21)
March (5)
February (9)
January (9)
December (4)
November (1)
October (10)
September (7)
August (20)
July (7)
March (1)
November (2)
August (1)
May (8)
April (13)
March (3)
February (6)
January (3)
December (6)
July (1)
June (1)
April (4)
January (4)
December (5)
November (5)
October (3)
May (25)
Powered by
Blogger
.