mcshicks's submissions

1.		Mathmatics in Lean (leanprover-community.github.io)
		1 point by mcshicks on March 27, 2024 \| past
2.		How to Prove It with Lean (djvelleman.github.io)
		3 points by mcshicks on Aug 30, 2023 \| past
3.		Push for Digital ID Tech Spurred by Pandemic (bloomberglaw.com)
		1 point by mcshicks on Sept 24, 2020 \| past
4.		John Podesta was warned in 2008 to start encrypting sensitive emails (theintercept.com)
		2 points by mcshicks on Nov 4, 2016 \| past