Software Development

Proof Theory

Problem-solving strategies for proof theory in mathematical logic

Publisher / source
parcadei/Continuous-Claude-v3 (found on skills.sh)
Upstream record
parcadei/Continuous-Claude-v3
Version
Version 3
Published
Publication review
Approved for publication
Content fingerprint
1d7934275065cbc5e9361bc3a4960bb93e51d4902562f630ef93a95e6eb4550b