Skip to content

Development Build

Pre-release
Pre-release

Choose a tag to compare

View all tags
@github-actions github-actions released this 27 Sep 07:52
latest
fb61177

Commits

  • 4bed137: migrated to Latex 2026 (StéphaneDucasse)
  • 66bb691: Fix formatting of postulate P2 in ObjVTheory.md (esmiralha) #12
  • f494dd1: adding local (StéphaneDucasse)
  • b6a5090: MLU26 (StéphaneDucasse)
  • fb61177: Merge branch 'master' of github.com:SquareBracketAssociates/Booklet-AReflectiveKernel (StéphaneDucasse)
Assets 3
Loading