Bookmarks Subscriptions Weekly Selections
English 中文
Sign in
  • Propositional logic exercises with the lean theorem prover

    #HackerNews #github
    0
    Tagging Share to twitter Share to telegram
    hackershare ·

Similar Bookmarks

Show HN: Functions Without Boundaries (TS)

G

Show HN: Web viewer for gene measurements (single data file and OpenSeadragon)

Neural Networks from Scratch

Show HN: Ugly Video – less serious video conferencing

Privacy – A curated list of services and alternatives that respect privacy

Show HN: Common Coding Conventions

Show HN: Ray Tracing in One Weekend in Go

Show HN: Cinny v2.0

Show HN: Userscript to add “Less” button to HN

Research recitation: A first look at rote learning in GitHub Copilot suggestions

Comments

Empty data

User's Profile

@hackershare
Follow
© 2022 hackershare, Inc. About Blog Open Source