Junyan Xu
@alreadydone
About
Mathematical Research Engineer working on Lean's mathlib4 and autoformalization of algebraic geometry. Formerly postdoc @ Heidelberg U & NIH, PhD @ Indiana U.
Skills & Technologies
Projects & Repositories
Recent public projects and repositories from this profile.
mathlib4
LeanThe math library of Lean 4
Autoformalization
OpenClaw-style theorem proving
lean-eval
LeanComparator-based Lean formal mathematics eval
formal-math
No project description available.
contents
GitHub issues as a blog with comment feature, place to publish and/or relay contents, and open discussion forum.
wechat-decrypt
WeChat 4.0 database decryptor - extract keys from memory, decrypt SQLCipher 4 databases, real-time message monitor