Formality – An efficient programming language and proof assistant
69 by maiavictor | 18 comments on Hacker News.
New top story on Hacker News: Formality – An efficient programming language and proof assistant
Related Posts
New top story on Hacker News: Making the Touch Bar useful by abandoning Apple guidelines
New top story on Hacker News: AWS Secrets Manager – Store, Distribute, and Rotate Credentials Securely
New top story on Hacker News: The Worst U.S. Maritime Disaster in Decades
New top story on Hacker News: OpenSimpleLidar
New top story on Hacker News: What Did Ancient Romans Do Without Toilet Paper?
0 comments: