snapkitty
formal-verification
lean4
ahmad-foundations / README.md

Commit History

30 days ago

  1. Metadata: discovery tags (collection, languages)

    Verified signature
    cb2e3e4
  2. Sync with GitHub, license metadata from LICENSE files, commercial license notice⁠

    Verified signature
    a1ea0be

  1. push from SNAPKITTYWEST/ahmad-foundations

    Verified signature
    a32e94f