WeSearch
Hub / Tags / Lean4
TAG · #LEAN4

Lean4 coverage.

Every story in the WeSearch catalog tagged with #lean4, chronological, with view counts. Subscribe to the per-tag RSS feed to follow this topic in your reader of choice.

2 stories tagged with #lean4, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.

⌘ RSS feed for this tag →   or   search "Lean4"

RELATED TAGS
#programming1#types1
GITHUB

Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

ZIL: a relational knowledge language implemented in Lean 4 with a Clojure runtime and toolchain - jagg-ix/zil-lean…

18 views ·
#show#lean#datalog
DEV.TO (TOP)

Dependent Types for Programmers: A Practical Introduction Using Lean 4

Hello, I'm Shrijith Venkatramana. I'm building git-lrc, an AI code reviewer that runs on every...…

31 views ·
#programming#types

Browse more

All tags Search "Lean4" RSS feed World US Technology Markets