Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Lean
🧮 Lean
Specific
Lean4, theorem prover, proof assistant, dependent types, mathlib
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
13
posts in
7.2
ms
TiruArt/Pedigree-Polytopes-Lean4
: Lean 4
machine-verified
proof
that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
✅
Formal Verification
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Π
Dependent Types
lix.polytechnique.fr
·
9h
9 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Proof
System Timelines
📐
PLT
Content type:
Blog
klatz.co
·
1d
1 day ago
Actions for Proof System Timelines
Programming Languages Software Award
💻
Programming
sigplan.org
·
11h
11 hours ago
Actions for Programming Languages Software Award
TheoremBench
: Evaluating LLMs on Theorem Proving in
Formal
Mathematics
✅
Formal Verification
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics
Less-relevant results
a topos-oriented language with a content-addressed lattice heap
💻
Programming
yon-lang.org
·
5d
5 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
How AI is reshaping discovery in
maths
and physics
✅
Proof Assistants
Content type:
Academic
nature.com
·
2d
2 days ago
·
Hacker News
Actions for How AI is reshaping discovery in maths and physics
FOD#155: Continual
Learning
in LLMs: Why AI Models Need Sleep
💻
Programming
turingpost.com
·
1d
1 day ago
Actions for FOD#155: Continual Learning in LLMs: Why AI Models Need Sleep
JamesC-xhecarpenxer/JC-Compute-Model: This is JC Compute a solution for digital trust.
λ
Functional Programming
Content type:
Code
github.com
·
6d
6 days ago
·
Hacker News
Actions for JamesC-xhecarpenxer/JC-Compute-Model: This is JC Compute a solution for digital trust.
Lean4Agent
:
Formal
Modeling and
Verification
for Agent Workflow and Trajectory
💻
Programming
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
meleantonio starred facebookresearch/autoform-bot
✅
Proof Assistants
Content type:
Code
github.com
·
5d
5 days ago
Actions for meleantonio starred facebookresearch/autoform-bot
Strict stability of extension
types
🔤
Type Systems
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Strict stability of extension types
meleantonio forked meleantonio/autoform-bot from facebookresearch/autoform-bot
🦀
Rust
Content type:
Code
github.com
·
5d
5 days ago
Actions for meleantonio forked meleantonio/autoform-bot from facebookresearch/autoform-bot
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help