greg/lean-rust-ffi-experiments
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
13 Commits 1 Branch 0 Tags
master
Commit Graph
13 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Greg Shuflin 32f83c3b79 Work with a lean structure type in rust 2026-07-28 01:55:26 -07:00
Greg Shuflin e89e05fa14 Work with strings across the FFI 2026-07-28 01:03:51 -07:00
Greg Shuflin f3e9224f5b Use functions described in lean.h 2026-07-28 00:40:02 -07:00
Greg Shuflin 2f5925a1c7 Work with Nat in rust 2026-07-28 00:14:14 -07:00
Greg Shuflin ba8bdf146a Playing with Lean initialization code 2026-07-01 21:27:26 -07:00
Greg Shuflin 0fe346c73f Notes about mycustomint symbol 2026-07-01 18:42:48 -07:00
Greg Shuflin 9760f2bac5 mycustomint() warning 2026-07-01 18:36:47 -07:00
Greg Shuflin f97b0db657 Add README.md 2026-07-01 18:33:56 -07:00
Greg Shuflin 5b6f675cac Working example of calling Lean from rust! 2026-07-01 18:31:13 -07:00
Greg Shuflin 557454b340 Play around with options for controlling exported names 2026-07-01 17:49:36 -07:00
Greg Shuflin 3946da000f Add rust basic skeleton 2026-07-01 17:41:16 -07:00
Greg Shuflin ba9e84f7e4 Successfully build a shared library from just 2026-07-01 17:36:22 -07:00
Greg Shuflin f57e22e9ed Initial commit - super basic toy Lean AST parser 2026-07-01 17:21:27 -07:00