Pinned Repositories
comb_geom
CopenhagenMasterclass2023
hw_template
lean-acl-pairs
Lean4_AOC_2022
lean_embedding
A small interface between lean4 and openai's embedding API
lean_grader
NodeGraph
UAlberta-412-512-lecture-notes
UnivAlg
adamtopaz's Repositories
adamtopaz/lean_grader
adamtopaz/hw_template
adamtopaz/NodeGraph
adamtopaz/hw_template_test
adamtopaz/lean_extras
adamtopaz/lean_find_with_gpt
adamtopaz/lean_pdist
adamtopaz/leannldata
adamtopaz/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
adamtopaz/d3-playground
adamtopaz/equational_theories
A project to map out the relations between different equational theories of Magmas.
adamtopaz/equational_transformer
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/lean4
Lean 4 programming language and theorem prover
adamtopaz/lean_aoc_2023
adamtopaz/lean_dataset
adamtopaz/lean_tensors
adamtopaz/LeanSearchClient
Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)
adamtopaz/monobook
AGDA
adamtopaz/pfr
adamtopaz/remote_env
adamtopaz/remote_import
adamtopaz/repl
A simple REPL for Lean 4, returning information about errors and sorries.
adamtopaz/SpecGraph
adamtopaz/subterm_data
adamtopaz/webpage
adamtopaz/WithMarkdown