gbln

Project information

GBLN - Goblin Bounded Lean Notation: The first type-safe LLM-native data format

102 Commits
1 Branch
0 Tags

README
Apache License 2.0

Created on

December 10, 2025

Loading