Some Junk Theorems in Lean (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Some Junk Theorems in Lean

First screen, captured 10 months ago.

Looks similar

Screenshot of github.com: Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects (github.com)

11 points by kbradero 2 months ago | 1 comments

Screenshot of github.com: Discharging Lean goals into SMT solvers

Discharging Lean goals into SMT solvers (github.com)

39 points by ndrwnaguib 1 year ago | 2 comments

Screenshot of github.com: Shunpo: Minimalist bash tool to make directory navigation a little bit faster

Shunpo: Minimalist bash tool to make directory navigation a little bit faster (github.com)

98 points by thunderbong 1 year ago | 43 comments

Screenshot of github.com: Smartfunc: Turn Docstrings into LLM-Functions

Smartfunc: Turn Docstrings into LLM-Functions (github.com)

59 points by alexmolas 1 year ago | 22 comments

Screenshot of github.com: Show HN: Komi-learn – continuous memory and self-improvement for coding agents

Show HN: Komi-learn – continuous memory and self-improvement for coding agents (github.com)

14 points by rainxchzed 4 months ago | 2 comments

Screenshot of github.com: Janderland/fenv: FoundationDB development environment

Janderland/fenv: FoundationDB development environment (github.com)

12 points by surprisetalk 9 months ago | 4 comments