Formality – An efficient programming language and proof assistant
70 by maiavictor | 18 comments on Hacker News.
Subscribe to:
Post Comments (Atom)
-
The new Yahoo? Facebook should heed the lessons of internet history 57 by jkuria | 4 comments on Hacker News.
-
Witnesses say Sudanese security forces dispersed rallies in the capital of Khartoum on Tuesday, after a week of demonstrations against Presi...
-
By Unknown Author from NYT Corrections https://nyti.ms/2RfYrkh
No comments:
Post a Comment