proof assistants

#proof assistants

3 articles tagged
Trends

Reassessing Lean's Place in the History of Formal Mathematics

4/28/2026
Broken proofs and broken provers
Vulnerabilities

Broken proofs and broken provers

2/4/2026
Dev

The Lambda Cube: Mapping the Landscape of Typed Lambda Calculi

2/2/2026

Popular Tags

#AI (2893)#Security (953)#Open Source (732)#privacy (671)#Hardware (656)#Apple (635)#API (614)#Reddit (533)#regulation (513)#Microsoft (493)#Windows (492)#Infrastructure (475)#Remote Code Execution (474)#Trends (466)#Cybersecurity (438)#Linux (438)#Gaming (391)#Cloud (381)#Business (375)#Performance (366)#Vulnerabilities (350)#OpenAI (346)#Supply Chain (305)#Rust (294)#Samsung (289)#Developer Tools (286)#Automation (281)#Authentication (274)#Nvidia (268)#Android (266)#Battery (265)#Machine Learning (260)#Anthropic (259)#Azure (242)#LLMs (240)#Developer (238)#China (235)#AMD (227)#Productivity (222)#DevOps (215)#Funding (213)#Intel (211)#Camera (208)#GPU (200)#Linux kernel (199)#mobile (192)#Patch Management (191)#CISA (188)#Patch (181)#LLM (178)