adamtopaz

Pinned Repositories

comb_geom
Language:Lean5 3 00
CopenhagenMasterclass2023
Language:Lean6 8 03
hw_template
Language:Lean4 2 11
hw_template_test
Language:Lean1 2 00
lean-acl-pairs
Language:Lean6 2 50
Lean4_AOC_2022
Language:Lean2 2 00
lean_embedding
A small interface between lean4 and openai's embedding API
Language:Lean2 2 00
lean_grader
Language:Lean5 2 01
UAlberta-412-512-lecture-notes
Language:TeX41
UnivAlg
Language:Lean4 2 00

adamtopaz's Repositories

adamtopaz/lean-acl-pairs
Language:Lean6 2 50
adamtopaz/comb_geom
Language:Lean5 3 00
adamtopaz/UAlberta-412-512-lecture-notes
Language:TeX41
adamtopaz/UnivAlg
Language:Lean4 2 00
adamtopaz/Lean4_AOC_2022
Language:Lean2 2 00
adamtopaz/lean_embedding
A small interface between lean4 and openai's embedding API
Language:Lean2 2 00
adamtopaz/lean4_advent_2021
Language:Lean10
adamtopaz/lean_pinecone
A barebones interface between lean4 and pinecone databases
Language:Lean1 2 0
adamtopaz/CoeffAltPairs
Language:TeX0 2 00
adamtopaz/elan-feature
Language:Shell0 2 00
adamtopaz/hyperalgebra-experiments
Language:Lean00
adamtopaz/lean4-mode
Emacs major mode for Lean 4
Language:Emacs Lisp00
adamtopaz/Lean4UnivAlg
Language:Lean00
adamtopaz/leanprover-contrib
Language:Python00
adamtopaz/lean2sexp
Convert Lean .olean files to s-expressions
Language:Lean1 0
adamtopaz/Lean4-Snippets
Language:Lean
adamtopaz/lean_formal_groups
Language:Lean2 0
adamtopaz/Math328-lean-stuff
Language:Lean1
adamtopaz/MilnorAlgDep
Language:TeX
adamtopaz/projective_independence
Language:Lean
adamtopaz/temp-2022-05-06