Skip to content

Jigger Wit

  • Recent Posts

Recent Posts

Share this:

  • Twitter
  • Facebook

Like this:

Like Loading...

Navigation

  • Home
  • About

Recent Posts: Jigger Wit

Kepler’s laws of planetary motion

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

Top Posts

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

Categories

Create a free website or 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
  • Follow Following
    • Jigger Wit
    • Already have a WordPress.com account? Log in now.
    • Jigger Wit
    • Customize
    • Follow Following
    • Sign up
    • Log in
    • Copy shortlink
    • Report this content
    • View post in Reader
    • Manage subscriptions
    • Collapse this bar
%d bloggers like this: