Michael Norrish
@michaeln.mastodon.sdf.org.ap.brid.gy
Associate Professor at the Australian National University’s School of Computing.
Lead developer of the HOL theorem-proving system.
🌉 bridged from ⁂ https://mastodon.sdf.org/@michaeln, follow @ap.brid.gy to interact
Lead developer of the HOL theorem-proving system.
🌉 bridged from ⁂ https://mastodon.sdf.org/@michaeln, follow @ap.brid.gy to interact
Testing bgstats summary of the year. #boardgames
December 14, 2025 at 10:13 PM
Testing bgstats summary of the year. #boardgames