Skip to content

Jigger Wit

  • Recent Posts

Recent Posts

Share this:

  • Twitter
  • Facebook

Like this:

Like Loading...

Navigation

  • Home
  • About

Recent Posts: Jigger Wit

A Review of the Ferguson Imperial Model of COVID-19 Infection

An Argument for Controlled Natural Languages in Mathematics

New Proof of the Fundamental Lemma

Birth of the Non-standard Fundamental Lemma

A Review of the Lean Theorem Prover

Ethics in Mathematics

Architecture of proof assistants

Formal Abstracts – a Vision

Formal Abstracts in Mathematics

Bertrand Russell Prize of the AMS

Top Posts

  • A Review of the Lean Theorem Prover
  • Pentagon Packings
  • Elliptic Curve Addition Without Tears
  • Aristotle's Tetrahedral Blunder
  • Architecture of proof assistants
  • An Argument for Controlled Natural Languages in Mathematics

Categories

Blog at WordPress.com.
Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here: Cookie Policy
%d bloggers like this: