Cape Town, South Africa

Elias Judin

Advanced
@eliasjudin

mathematician. research in categorical algebra, galois theories. Lean 4 engineer. university of cape town

eliasjudin.github.io

oai-skills. The contents of /home/oai/skills in ChatGPT's code interpreter environment

525

codex-skill-creator. Python

2

eliasjudin.github.io. HTML

1
3
Apply