Skip to content

History

Revisions

  • Updated Home

    @bafain bafain committed Dec 5, 2022
    12e6833

  • Updated Home

    @bafain bafain committed Oct 12, 2022
    177328f

  • Updated Home

    @bafain bafain committed Sep 22, 2022
    757bc63

  • Created Schedule.2021

    @bafain bafain committed Sep 22, 2022
    424d173

  • Updated Home

    @bafain bafain committed Sep 22, 2022
    ea343c8

  • Updated Home

    @bafain bafain committed Jul 13, 2022
    bfd3bd3

  • Updated Home

    @bafain bafain committed Jun 7, 2022
    3b3faed

  • Add OPLSS to the calendar

    Carlos Tomé committed May 20, 2022
    ff1e123

  • Updated Home

    @bafain bafain committed May 16, 2022
    cc5a6f9

  • Updated Home

    @bafain bafain committed May 12, 2022
    e9d307d

  • Updated Home

    @bafain bafain committed May 2, 2022
    2b4c280

  • Updated Home

    @bafain bafain committed Mar 17, 2022
    2417a39

  • grammar

    @wmacmil wmacmil committed Mar 11, 2022
    f3a85af

  • add video

    @wmacmil wmacmil committed Mar 11, 2022
    534e63d

  • Updated Home

    @bafain bafain committed Mar 11, 2022
    61dde40

  • Updated Home

    @bafain bafain committed Feb 27, 2022
    6772c0a

  • Updated Home

    @bafain bafain committed Feb 18, 2022
    73cfa0e

  • Updated Home

    @bafain bafain committed Feb 16, 2022
    49d18fe

  • Add hyperlinks and remove empty section

    @bafain bafain committed Feb 15, 2022
    574f3dc

  • Updated Home

    @bafain bafain committed Feb 10, 2022
    0b7aa48

  • Updated Home

    @bafain bafain committed Feb 10, 2022
    a58570d

  • Add hyperlink

    @bafain bafain committed Feb 7, 2022
    0925b49

  • Fix typo

    @bafain bafain committed Feb 7, 2022
    76af028

  • Updated Matthew's title

    @bafain bafain committed Feb 7, 2022
    7738381

  • Inserted Matthew's abstract and new title

    @andreasabel andreasabel committed Feb 7, 2022
    6b4e76e

  • Created Abstracts.2021.ML.Verification

    @bafain bafain committed Feb 7, 2022
    8910b95

  • Link to readable version of Constructive Mathematics and Computer Programming Published versions: - https://www.cs.tufts.edu/~nr/cs257/archive/per-martin-lof/constructive-math.pdf - https://raw.githubusercontent.com/michaelt/martin-lof/master/pdfs/Constructive-mathematics-and-computer-programming-1982.pdf

    @bafain bafain committed Feb 4, 2022
    d65d462

  • Updated Abstracts.2021.Meaning (markdown)

    Carlos Tomé committed Feb 4, 2022
    7533ca1

  • Updated Home

    @bafain bafain committed Feb 4, 2022
    dd026de

  • Updated Home

    @bafain bafain committed Feb 2, 2022
    3a7ec5d