Skip to content

@formalverification Formal Verification

Change the repository type filter

All

    Repositories list

    9 repositories

    • formal-ledger-specifications

      Public
      Formal specifications of the cardano ledger
      Agda
      •
      Apache License 2.0
      •19•0•0•0•Updated Oct 23, 2025Oct 23, 2025

    • formalmethods.io

      Public
      Website for prototyping and staging various projects from the formal methods team
      0•0•0•0•Updated Jul 14, 2025Jul 14, 2025

    • lean4crypto

      Public
      formally verified cryptography
      Lean
      •1•0•0•0•Updated Jul 14, 2025Jul 14, 2025

    • formalverification.io

      Public
      0•0•0•0•Updated Feb 15, 2025Feb 15, 2025

    • io

      Public
      DEPRECATED [website served at formalverification.io]
      0•0•0•0•Updated Feb 11, 2025Feb 11, 2025

    • Tensorflow2-course

      Public
      Jupyter Notebook
      •
      Creative Commons Zero v1.0 Universal
      •0•0•0•0•Updated Mar 31, 2024Mar 31, 2024

    • milewski-ctfp-pdf

      Public
      Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
      TeX
      •
      Other
      •634•6•7•3•Updated Jan 8, 2024Jan 8, 2024

    • 1lab

      Public
      A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
      Agda
      •
      GNU Affero General Public License v3.0
      •93•0•0•0•Updated Jul 27, 2023Jul 27, 2023

    • uc

      Public
      0•0•0•0•Updated Apr 11, 2023Apr 11, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.