🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

derived set
ncatlab.org·19h
🧮Algebraic Archives
abhisheksr01/spring-boot-microservice-best-practices
github.com·8h
🌊Streaming Systems
Golang and Let's Encrypt: a free software story
dotat.at·8h·
Discuss: Hacker News
🌳Archive Merkle Trees
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·6d
🧮Theorem Proving
Deciding Termination of Simple Randomized Loops
arxiv.org·2d
🌳Persistent Data Structures
Define-ML: An Approach to Ideate Machine Learning-Enabled Systems
arxiv.org·6h
🧠Machine Learning
Writing Toy Software Is a Joy
quiz.businessexplain.com·7h·
Discuss: Hacker News
🔩Systems Programming
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·6h
📏Linear Logic
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·6h
🔗Parser Combinators
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·2d
👑Coq Tactics
I finally figured out how to get the best out of MCP Servers as an AI Developer
dev.to·18h·
Discuss: DEV
🪟Awesome windows command-line
Fine-Tuning and Prompt Engineering of LLMs, for the Creation of Multi-Agent AI for Addressing Sustainable Protein Production Challenges
arxiv.org·6h
🧮Theorem Proving
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·6h
💻Local LLMs
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·8h·
Discuss: DEV
🌊Stream Processing
If You Want to Learn Algebra, You Need to Have Automaticity on Basic Arithmetic
justinmath.com·2d·
Discuss: Hacker News
📚Proof Pedagogy
Persona-Assigned Large Language Models Exhibit Human-Like Motivated Reasoning
arxiv.org·6h
🎯Dependent Parsing
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·2d
🧪CBOR Fuzzing
Hong Mong 5 Development Treasure Case Sharing Buried Point Development Real Battle Guide
dev.to·12h·
Discuss: DEV
🔗Data Provenance
In-Context Learning Strategies Emerge Rationally
arxiv.org·2d
🔲Cellular Automata
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·2d·
Discuss: DEV
🧬Functional Programming