Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 2, 2022

• Adjust to changes in CAP and CapAndHomalg

  sebastianpos

  committed
  cbcb416

  Copy full SHA for cbcb416

Commits on Sep 21, 2021

• Add five lemma example

  sebastianpos

  committed
  1f152e3

  Copy full SHA for 1f152e3

Commits on Sep 10, 2021

• Adjust to changes in CAP

  Show description for 5c5ddce
  sebastianpos

  committed
  5c5ddce

  Copy full SHA for 5c5ddce

Commits on Nov 3, 2020

• Merge pull request sebastianpos#1 from mohamed-barakat/CapAndHomalg

  Show description for 611469e
  sebastianpos

  authored
  611469e

  Copy full SHA for 611469e

Commits on Oct 18, 2020

• switch to new package CapAndHomalg

  Show description for 0c8a696
  mohamed-barakat

  committed
  0c8a696

  Copy full SHA for 0c8a696

Commits on Sep 18, 2020

• Create README.md

  sebastianpos

  authored
  4774fc9

  Copy full SHA for 4774fc9

Commits on Sep 17, 2020

• Add more convenience and new worksheet for basics

  sebastianpos

  committed
  a7ec33b

  Copy full SHA for a7ec33b

Commits on Sep 11, 2020

• Add convenience for creation of mors

  sebastianpos

  committed
  2cb3b25

  Copy full SHA for 2cb3b25

Commits on Sep 10, 2020

• Fix using of submodule GAP

  sebastianpos

  committed
  9921318

  Copy full SHA for 9921318

• Add Project.toml

  sebastianpos

  committed
  c672861

  Copy full SHA for c672861

• Add worksheet for Snake Lemma

  sebastianpos

  committed
  ec4231c

  Copy full SHA for ec4231c

• Initial

  sebastianpos

  committed
  17bc2be

  Copy full SHA for 17bc2be