Arthur
Community@arthur742ramos
4Followers
|43Public Repos
|6Published Skills
PhD in Logic and Computer Science. Senior Software Engineer @Microsoft
Agent Skills by Arthur
Showing 6 vetted skills indexed across 1 GitHub repositories.
Arthur742Ramos1
path-tactics
Automate RwEq proof boilerplate in Lean using path tactics.
Community
Advanced
Arthur742Ramos1
quotients-and-lifts
Define Quot.lift maps from Quot r to B with respect proofs in Lean 4.
Community
Advanced
Arthur742Ramos1
rweq-proofs
Construct RwEq proofs in ComputationalPaths using transitivity, congruence, and canonical lemmas.
Community
Advanced
Arthur742Ramos1
lean-hit-development
Guide adding Higher Inductive Types to the ComputationalPaths Lean 4 library.
Community
Advanced
Arthur742Ramos1
lean-build
Build, test, and debug Lean 4 projects using Lake.
Community
Basic
Arthur742Ramos1
ci-and-releases
Automate CI and release hygiene for Lean 4 projects using lake build and dependency updates.
Community
Basic