RanaldClouston on Nostr: I'm done with my lectures in the #ANU #logic summer school; great group of students ...
I'm done with my lectures in the #ANU #logic summer school; great group of students this year! My slides on 'Propositions and Types, Proofs and Programs' are up at
https://comp.anu.edu.au/lss/lectures/2023/ . There's still a week to go of more advanced lectures, so look for more slides to appear at that page if you're interested in the week 2 topics
Published at
2023-12-08 07:12:49Event JSON
{
"id": "deb37e53211a90461a99ed27158c50e316746575704ba6cdeec38b9778d9c81a",
"pubkey": "f2cf0dfce0e92e5ef80de5d4f4ead58db7804926d51a59524cb8c0584522aa69",
"created_at": 1702019569,
"kind": 1,
"tags": [
[
"t",
"logic"
],
[
"t",
"anu"
],
[
"proxy",
"https://fediscience.org/users/RanaldClouston/statuses/111543554508257398",
"activitypub"
]
],
"content": "I'm done with my lectures in the #ANU #logic summer school; great group of students this year! My slides on 'Propositions and Types, Proofs and Programs' are up at https://comp.anu.edu.au/lss/lectures/2023/ . There's still a week to go of more advanced lectures, so look for more slides to appear at that page if you're interested in the week 2 topics",
"sig": "979093c635fe38dda8fbca03ff3f4eed91f8ed4e69e70cab89e47f70aa4d6ad533a585beb867bc5746edb994e7730d25505610d779af2ab0052f8edc8cdb9244"
}
