Richard Zach on Nostr: Do you use #TexLaTex for natural deduction proofs? Selinger's fitch.sty 1.0 beta ... ...
Published at
2023-10-15 22:05:12Event JSON
{
"id": "20f22fbdd95956ea85fdcd9545ef0e13ec83ac48b2ca073f29a4f97088d57c90",
"pubkey": "580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
"created_at": 1697407512,
"kind": 1,
"tags": [
[
"t",
"logic"
],
[
"t",
"texlatex"
],
[
"proxy",
"https://mathstodon.xyz/users/rrrichardzach/statuses/111241298749914074",
"activitypub"
]
],
"content": "Do you use #TexLaTex for natural deduction proofs? Selinger's fitch.sty 1.0 beta ... Would appreciate testing and feedback https://github.com/OpenLogicProject/fitch/releases/tag/v1.0-beta2 #logic",
"sig": "5c9d441ec97bbd932c7b2fdd4d0b1b1955d29e1509585be27696ff1ce36581e5001068021cbf7136cd105cf9334ad4ee2d0bbb1aa46d77658c5de092e04b8f66"
}
