Automatically interpret and validate nested natural logic arguments

In plain words

This tool automatically interprets and validates nested natural logic arguments. It's designed for researchers, logicians, and developers who need to verify complex logical reasoning structures expressed in natural language. The software parses multi-level arguments and checks their validity, making it useful for academic work, formal verification, and computational linguistics projects. It's available as open-source code on GitHub.

written from the facts on this page · September 2026

• 
  An encoding of the UK's self-isolation rules in Prolog2021 · github.com · ▲108

  An encoding of the UK's self-isolation rules in Prolog - jamespwilliams/prolog-isolation-checker

• AB
  AutoThink – Boosts local LLM performance with adaptive reasoning2025 · ▲397

  I built AutoThink, a technique that makes local LLMs reason more efficiently by adaptively allocating computational resources based on query complexity. The core idea: instead of giving every query the same "thinking time," classify queries as HIGH or LOW complexity and allocate thinking tokens accordingly. Complex reasoning gets 70-90% of tokens, simple queries get 20-40%. I also implemented steering vectors derived from Pivotal Token Search (originally from Microsoft's Phi-4 paper) that guide the model's reasoning patterns during generation. These vectors encourage behaviors like numerical…

• AA
  Aristotl – an intuitive logical fallacy lookup tool2019 · aristotl.io · ▲173
• 
  A Clojure implementation of logic programming language in SICP2019 · github.com · ▲56

  A Clojure implementation of the logic programming language from chapter 4 of SICP - jdormit/sicp-logic

• 
  Phi-4 Reasoning2025 · azure.microsoft.com · ▲261

  Big reasoning power, small models

• 
  A NLP Library for Matching Parse Trees2016 · github.com · ▲46

  Language Lego. Contribute to ayoungprogrammer/Lango development by creating an account on GitHub.

• 
  SimCity, but with Permits▲855

  A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.

  Life & fun · 20h ago · permit.petercai.com

• IV
  I've been paying for a rural Tanzanian's education for 10 years▲778

  Life & fun · 13d ago · tanzaniaeducationproject.org

• 
  Bigwords.page – Turn any screen into a sign. The URL is the app▲728

  Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.

  Life & fun · 14d ago · bigwords.page

• 
  Guitoro, a virtual guitar you strum with your keyboard▲573

  Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.

  Life & fun · 8d ago · guitoro.com

• 
  See *almost* any carriers phone settings▲432

  Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.

  Life & fun · 12d ago · carrierexplode.com

• 
  The whole Solar System and every tracked satellite, live in the browser▲407

  Life & fun · 22d ago · space.bl2.net

• 
  AutoDraw▲1,385

  Autocorrect for drawing, by Google

  AI · 2017 · autodraw.com

• 
  Stripe Atlas▲1,320

  The best way to start an internet business

  Commerce · 2017 · atlas.stripe.com

• 
  Sorting Two Metric Tons of Lego▲1,264

  Life & fun · 2017 · jacquesmattheij.com

• 
  The Boring Company▲1,057

  Elon Musk's new company, creating tunnels for traffic

  Growth · 2017 · boringcompany.com

• 
  Ask Product Hunt▲842

  A community-powered product search engine

  Life & fun · 2017

• 
  Lyrebird▲840

  Copy the voice of anyone, using a voice imitation algorithm

  AI · 2017 · descript.com