Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 18, 2024

• copilot: Update what4-propositional example's comments to match results. Refs #535.

  Show description for ceae648
  RyanGlScott

  committed
  ceae648

  Copy full SHA for ceae648

Commits on Dec 28, 2023

• copilot: Update uses of forall. Refs #470.

  Show description for 6b4abda
  ivanperez-keera

  committed
  6b4abda

  Copy full SHA for 6b4abda

Commits on Apr 27, 2022

• Style: squash multiple consecutive empty lines. Refs #316.

  Show description for e3601e8
  ivanperez-keera

  committed
  e3601e8

  Copy full SHA for e3601e8

Commits on Sep 16, 2021

• Re-organize project in folders. Refs #248.

  Show description for da084f4
  ivanperez-keera

  committed
  da084f4

  Copy full SHA for da084f4

Loading