Discharging Lean goals into SMT solvers (github.com) | HN Screenshots

YHacker Newsscreenshots

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

First screen, captured 1 year ago.

Looks similar

Screenshot of github.com: Leantime: Open-Source Jira Alternative

Leantime: Open-Source Jira Alternative (github.com)

153 points by intheleantime 3 years ago | 68 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: I Created ErisForge, a Python Library for Abliteration of LLMs

Show HN: I Created ErisForge, a Python Library for Abliteration of LLMs (github.com)

115 points by tsadoq 1 year ago | 43 comments

Screenshot of github.com: Show HN: Qq: like jq, but can transcode between many formats

Show HN: Qq: like jq, but can transcode between many formats (github.com)

61 points by arandomhuman 2 years ago | 13 comments

Screenshot of github.com: Show HN: Moribito – A TUI for LDAP Viewing/Queries

Show HN: Moribito – A TUI for LDAP Viewing/Queries (github.com)

89 points by woumn 1 year ago | 23 comments

Screenshot of github.com: Show HN: TurboQuant-WASM – Google's vector quantization in the browser

Show HN: TurboQuant-WASM – Google's vector quantization in the browser (github.com)

154 points by teamchong 6 months ago | 6 comments