julesh@julesh@mathstodon.xyz My new job:https://www.renaissancephilanthropy.org/a-structured-representation-of-tactics-for-machine-assisted-theorem-proving
julesh
julesh
julesh
julesh