MathlibAnnex v0.4.0 is public. Source release publication is separate from LFH publication.
- Commit
437e6e46228bbb8e91211ebded349d7a30020e73- Tree
b752cf746a8660427937b3497f49c1797bf3ff3f
Exact public release and assets · Recorded qualification
The source contains five import Project entries. The current LFH release contains four reading Projects and 44 canonical Cards.