Home 24h Top Newest Best Ask Show Jobs

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

Home

Home Newest Best Ask Show Jobs

Resources

HackerNews API Original HackerNews Next.js

© 2025 TechEcho. All rights reserved.

Propositional logic exercises with the lean theorem prover

54 pointsby mathematicallyover 3 years ago

2 comments

giomasceover 3 years ago

See also the Natural Number Game.

sidpatilover 3 years ago

Just the kind of thing I've been looking for!

评论 #28953868 未加载

评论 #28954254 未加载