#Tag · bonfire.cafe

#Tag

Log in

@h4ckernews@mastodon.social · 4 days ago

Running Lean at Scale

https://harmonic.fun/news#blog-post-lean

#HackerNews #Running #Lean #at #Scale #lean #startup #scalability #business #strategy #innovation

Harmonic - News

AI for Formal Mathematical Reasoning

@h4ckernews@mastodon.social · 3 weeks ago

Some Junk Theorems in Lean

https://github.com/James-Hanson/junk-theorems-in-lean

#HackerNews #Some #Junk #Theorems #in #Lean #programming #Lean #Theorems #Junk #Theorems #Math #Community

GitHub - James-Hanson/junk-theorems-in-lean: A small collection of formally verified junk theorems provable in Lean4 + Mathlib.

A small collection of formally verified junk theorems provable in Lean4 + Mathlib. - James-Hanson/junk-theorems-in-lean

@h4ckernews@mastodon.social · last month

Lean Theorem Prover Mathlib

https://github.com/leanprover-community/mathlib4

#HackerNews #Lean #Theorem #Prover #Mathlib #mathlib4 #LeanProver #theoremProving #functionalProgramming

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About · Code of conduct · Privacy · Users · Instances

Bonfire social · 1.0.1-beta.35 no JS en

Automatic federation enabled

Log in