Tag: Proof assistants

Tag Visualization: Top 50 related tags by occurrence

Recent Related Articles to Proof assistants

Machine learning paves the way for modern, efficient statistical production | UNECE

Added to Collection on: 2021-04-15 19:34:14

Tags for this article:

Programming languages
Computer programming
Functional languages
Procedural programming languages
Logic in computer science
Proof assistants
Official statistics
Political communication
Machine learning
ML
United Nations Economic Commission for Europe
HOL
United Kingdom

Click the tags to see associated articles and topics

View Article Details
DeFi Is Betting Big on 'Zero Knowledge' — Is the Technology Ready? - Blockworks

Added to Collection on: 2022-07-22 19:48:00

Tags for this article:

Cryptography
Microsoft software
Programming languages
Ethereum
Blockchains
Proof assistants
Zero-knowledge proof
Arbitrum
IP
Lean
Zero knowledge
Ethereum scaling solutions
POLYGON

Click the tags to see associated articles and topics

View Article Details
AI-Powered Proof Generator Helps Debug Software - IEEE Spectrum

Added to Collection on: 2024-01-25 18:32:02

Tags for this article:

Proof theory
Formal methods
Automated theorem proving
Logic in computer science
Proof assistants
Isabelle
Mathematical proof
Formal proof
Formal verification
Yuriy Brun
Baldur

Click the tags to see associated articles and topics

View Article Details