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
Hilbert: Recursively Building Formal Proofs with Informal Reasoning

Added to Collection on: 2025-10-03 01:33:34

Tags for this article:

Proof assistants
Formal methods
Automated theorem proving
Large language model
Lean

Click the tags to see associated articles and topics

View Article Details
Book a Demo