Skip to content
@formalverification

Formal Verification

Popular repositories Loading

  1. milewski-ctfp-pdf milewski-ctfp-pdf Public

    Forked from hmemcpy/milewski-ctfp-pdf

    Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

    TeX 6 1

  2. io io Public

    DEPRECATED [website served at formalverification.io]

  3. 1lab 1lab Public

    Forked from the1lab/1lab

    A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

    Agda

  4. uc uc Public

  5. Tensorflow2-course Tensorflow2-course Public

    Jupyter Notebook

  6. formal-ledger-specifications formal-ledger-specifications Public

    Forked from IntersectMBO/formal-ledger-specifications

    Formal specifications of the cardano ledger

    Agda

Repositories

Showing 8 of 8 repositories
  • formalmethods.io Public

    Website for prototyping and staging various projects from the formal methods team

    0 0 0 0 Updated Feb 22, 2025
  • formal-ledger-specifications Public Forked from IntersectMBO/formal-ledger-specifications

    Formal specifications of the cardano ledger

    Agda 0 Apache-2.0 16 0 0 Updated Feb 22, 2025
  • formalverification.io Public
    0 0 0 0 Updated Feb 15, 2025
  • io Public

    DEPRECATED [website served at formalverification.io]

    0 0 0 0 Updated Feb 11, 2025
  • Tensorflow2-course Public
    Jupyter Notebook 0 CC0-1.0 0 0 0 Updated Mar 31, 2024
  • milewski-ctfp-pdf Public Forked from hmemcpy/milewski-ctfp-pdf

    Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

    TeX 6 609 7 3 Updated Jan 8, 2024
  • 1lab Public Forked from the1lab/1lab

    A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

    Agda 0 AGPL-3.0 72 0 0 Updated Jul 27, 2023
  • uc Public
    0 0 0 0 Updated Apr 11, 2023

People

This organization has no public members. You must be a member to see who’s a part of this organization.