Pinned Repositories
comb_geom
CopenhagenMasterclass2023
hw_template
hw_template_test
lean-acl-pairs
Lean4_AOC_2022
lean_embedding
A small interface between lean4 and openai's embedding API
lean_grader
UAlberta-412-512-lecture-notes
UnivAlg
adamtopaz's Repositories
adamtopaz/CopenhagenMasterclass2023
adamtopaz/lean_grader
adamtopaz/hw_template
adamtopaz/lean_embedding
A small interface between lean4 and openai's embedding API
adamtopaz/hw_template_test
adamtopaz/lean_find_with_gpt
adamtopaz/lean_pdist
adamtopaz/lean_pinecone
A barebones interface between lean4 and pinecone databases
adamtopaz/leannldata
adamtopaz/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
adamtopaz/d3-playground
adamtopaz/find_with_gpt
adamtopaz/graph_widget
adamtopaz/kickstart.nvim
A launch point for your personal nvim configuration
adamtopaz/lean-slides
A tool to auto-generate and render slides from Markdown comments in the Lean editor.
adamtopaz/lean-training-data
adamtopaz/lean2sexp
Convert Lean .olean files to s-expressions
adamtopaz/lean4
Lean 4 programming language and theorem prover
adamtopaz/lean_aoc_2023
adamtopaz/lean_dataset
adamtopaz/lean_gpt
adamtopaz/lean_test1
adamtopaz/mathlib4
Work in progress mathlib port for lean 4
adamtopaz/onlinecourses2020
adamtopaz/pfr
adamtopaz/remote_env
adamtopaz/remote_import
adamtopaz/SpecGraph
adamtopaz/USRA2023
adamtopaz/webpage