Skip to content
View vishallama's full-sized avatar

Block or report vishallama

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. fpinscala fpinscala Public

    Forked from fpinscala/fpinscala

    Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

    Scala

  2. interactive_theorem_proving_and_program_development interactive_theorem_proving_and_program_development Public

    Code and examples from the book 'Interactive Theorem Proving and Program Development' (Coq'Art book)

    Coq 2 1

  3. categories-and-categorical-logic categories-and-categorical-logic Public

    Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.

    TeX 1 1

  4. coinductive-types coinductive-types Public

    Code and examples based on the tutorial 'A Tutorial on [Co-]Inductive Types in Coq' by Eduardo Giménez and Pierre Castéran

    Coq 1

  5. cpdt cpdt Public

    Code and examples based on the book 'Certified Programming with Dependent Types' (version: June 30, 2016) by Adam Chlipala.

    Coq

  6. algebra-chapter0 algebra-chapter0 Public

    Solutions to exercises in the book 'Algebra - Chapter 0' by Paolo Aluffi.

    TeX 5