🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

derived set
ncatlab.org·1d
🧮Algebraic Archives
How to Prove That An Email Was Received
metaspike.com·1d
📄Document Digitization
Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·1d
⚡Proof Automation
Why Dyad?: A Perspective for Modelica Users
juliahub.com·1d·
Discuss: Hacker News
💧Liquid Types
OpenDylan sheds some parentheses in 2025.1 update
theregister.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·1d·
Discuss: Hacker News
📊Graph Databases
I couldn't find a job, so I built an open source project
zhakhan.com·2h·
Discuss: Hacker News
🔓Open Source Software
How AI Agents Gather Data
blog.dust.tt·16h·
Discuss: Hacker News
📥Feed Aggregation
Stop Words Using Spacy - NLP
dev.to·3d·
Discuss: DEV
📝Text Parsing
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org·3d
🎯Performance Proofs
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1751016812847900）
dev.to·4h·
Discuss: DEV
🌐Network Protocols
From Manual to AI: My Journey with Keploy Chrome Extension
dev.to·4h·
Discuss: DEV
🎬WebCodecs API
If You Want to Learn Algebra, You Need to Have Automaticity on Basic Arithmetic
justinmath.com·3d·
Discuss: Hacker News
📚Proof Pedagogy
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·3d·
Discuss: DEV
🎯Performance Proofs
Writing Toy Software Is a Joy
quiz.businessexplain.com·1d·
Discuss: Hacker News
🔩Systems Programming
AI Course in Bangalore with Tools & Live Training
dev.to·1h·
Discuss: DEV
🗺️Competency Maps
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Programming Entry Level: how to interpreter
dev.to·2d·
Discuss: DEV
🔗Lisp
Deciding Termination of Simple Randomized Loops
arxiv.org·3d
🌳Persistent Data Structures
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·2d·
Discuss: DEV
🤖Lisp Machines