4 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This release adds the complete program-hosted original-English D110 Mathematics in Lean mirror while keeping the authoritative upstream source separately prominent. Every centrally hosted page returns to both loc...
Start learning: Bahasa Indonesia · English interface. Version 0.63.21 adds the sealed D50 Smooth Manifolds and Differential Geometry v2.3.1 zero-copy common adapter. Validated coverage is 34/40 roles across 27/33 native families; whole-program backend convergence is not claimed. The access rule applies to every current...
Start learning: Bahasa Indonesia · English interface. Version 0.63.23 applies reciprocal learner navigation across the complete hosted program surface: every reader links to its course and localized program, every course links to its readers, and hosted copies retain prominent authoritative-original routes. Current lan...
Start learning: Bahasa Indonesia · English interface. Version 0.63.22 applies reciprocal learner navigation across the complete hosted program surface: every reader links to its course and localized program, every course links to its readers, and hosted copies retain prominent authoritative-original routes. Current lan...
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
