遇见数据集

Open Logic Project: Hindi Cumulative Working Edition through HI-OLP-0011

收藏
Zenodo2026-08-14 更新2026-08-20 收录
官方服务:

资源简介:

Start here: 00_OpenLogic_hi-Deva-IN_CUMULATIVE_READER.pdf is the current 17-page Hindi (hi-Deva-IN) cumulative reader. It contains eleven accepted translated Open Logic sections on sets and relations. Four-file audit surface: file 01 contains the reproducible editable Hindi TeX overlay, build entry point, pinned OFL Devanagari font, source authority and licences. File 02 contains the complete relevant append-only decisions, rejections, source ledger, logbook, task registry, terminology web, all eleven unit QA directories, diagnostic and failure evidence, cumulative final and rejected renders, source witnesses, lane workbook, publication method and prior public receipts. File 03 binds the other three files with SHA-256. Source and licence: this is a Hindi translation/adaptation of OpenLogicProject/OpenLogic commit 9620cc73f9c8e0ad003c514a5d3748f29611c4c0, tree f67757bb9305b173634082ab4cefd5601a707a34, under CC BY 4.0. Translation and Hindi build-support changes are indicated; no endorsement is asserted. The intended DataCite relation is IsTranslationOf that exact frozen source and is preserved in the evidence sidecar because Zenodo does not expose that relation value. Measured coverage and QA: eleven source files total TeXcount 5,369; the Hindi targets total 7,276. Mathematical notation, commands, labels, OLP stable IDs and formal identifiers were checked unit by unit. Every unit compiled independently. The cumulative build completed successfully with zero hard-log hits; all 17 cumulative pages and all 18 individual-unit pages were rendered and inspected at original detail; Poppler Hindi search/copy passed; 18/18 cumulative PDF font instances are embedded, subset and Unicode-mapped. Limits and continuation: this is a machine-assisted cumulative working edition, not a completed Open Logic translation, human-reviewed edition, peer review, critical edition or PDF/UA certification. Human review is welcome but is not a production gate. The exact next cursor is content/sets-functions-relations/relations/trees.tex, stable ID sfr/rel/tre, SHA-256 57CC56EE55506AA19E7BE6129D2CAD6B8635FD2D6407399D4F774782F2CDD588.

提供机构:
Zenodo
创建时间:
2026-08-13
二维码
社区交流群
二维码
科研交流群
商业服务