Skip to content

Jigger Wit

  • Recent Posts

Recent Posts

Share this:

  • Twitter
  • Facebook

Like this:

Like Loading...

Navigation

  • Home
  • About

Recent Posts: Jigger Wit

Conway’s sphere of infinite radius and Viazovska’s magic functions

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

Top Posts

  • A Review of the Lean Theorem Prover
  • Formal Abstracts - a Vision
  • Architecture of proof assistants
  • Formal Abstracts in Mathematics
  • New Proof of the Fundamental Lemma

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: