Skip to content

Pull requests: Beneficial-AI-Foundation/vericoding

New pull request New
14 Open 235 Closed
14 Open 235 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Infrastructure for lean experiments
#311 opened Oct 19, 2025 by TheodoreEhrenborg Contributor • Draft
1
wandb with unit tests
#287 opened Sep 22, 2025 by quinn-dougherty Contributor Loading…
3
Add note about dbgTrace for print debugging in CLAUDE.md
#272 opened Sep 19, 2025 by Copilot AI Loading…
5 tasks done
1
@alok
3
fix types in verus verina
#267 opened Sep 19, 2025 by astefano Contributor • Draft
fix types in verus dafnybench
#265 opened Sep 19, 2025 by astefano Contributor • Draft
La/run llm transpiler on 500 fvapps
#255 opened Sep 19, 2025 by astefano Contributor • Draft
Set up local mathlib installation support
#247 opened Sep 18, 2025 by alok Contributor Loading…
2
Add fallback to 'lake env lean' when 'lake build' fails
#245 opened Sep 18, 2025 by alok Contributor Loading…
5
mcp attempt
#231 opened Sep 17, 2025 by alok Contributor Loading…
feat: export W&B run files as Lake-structured folder
#173 opened Sep 9, 2025 by alok Contributor Loading…
4
Fix stale NumpySpec refs: add Benchmarks.MatrixDef shim; switch Dafny to dafnybench.Multiset; needs-based Lake targets
#172 opened Sep 9, 2025 by alok Contributor • Draft
Claude Code + lean-lsp-mcp integration (default Claude provider)
#170 opened Sep 9, 2025 by alok Contributor Loading…
alok fix dafnybench
#156 opened Sep 5, 2025 by alok Contributor Loading…
11
Add plausible property testing framework
#62 opened Aug 12, 2025 by alok Contributor Loading…
4 of 5 tasks
5
ProTip! Exclude everything labeled bug with -label:bug.