Gottfried Janssen · @Friedje
38 followers · 213 posts · Server mastodon.social
#chatgpt #logic #lambekcalculus typeshifting proof #amazed
#chatgpt #logic #lambekcalculus #amazed
Last updated 2 years ago
Gottfried Janssen · @Friedje
43 followers · 253 posts · Server mastodon.social#chatgpt #logic #lambekcalculus typeshifting proof #amazed but it is taking a shortcut
#chatgpt #logic #lambekcalculus #amazed
Last updated 2 years ago