Try the proof assistant Agda without installation directly in your browser: https://agdapad.quasicoherent.io/ https://agdapad.quasicoherent.io/ Or Lean: https

Try the proof assistant Agda without installation directly in your browser: https://agdapad.quasicoherent.io/ https://agdapad.quasicoherent.io/ Or Lean: https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_g...