Commits

Branch selector

 main

User selector

kamalfarahani

Datepicker

All time

Commit History

Commits on Jul 24, 2021

• add Min exercise

  kamalfarahani

  committed
  c4400ea

  Copy full SHA for c4400ea

• add Factorial exercise

  kamalfarahani

  committed
  9d49fa9

  Copy full SHA for 9d49fa9

Commits on Jul 23, 2021

• add parity_correct

  kamalfarahani

  committed
  312f81f

  Copy full SHA for 312f81f

Commits on Jun 20, 2021

• add slow_assignment exercise

  kamalfarahani

  committed
  6aee375

  Copy full SHA for 6aee375

• add if_minus_plus_reloaded exercise

  kamalfarahani

  committed
  b3cd5da

  Copy full SHA for b3cd5da

Commits on Jun 17, 2021

• add if_minus_plus proof

  kamalfarahani

  committed
  106fe81

  Copy full SHA for 106fe81

• add hoare_asgn_examples_2 exercise

  kamalfarahani

  committed
  25ab980

  Copy full SHA for 25ab980

Commits on Jun 16, 2021

• add hoare_asgn_fwd_exists proof

  kamalfarahani

  committed
  33351ba

  Copy full SHA for 33351ba

Commits on Jun 14, 2021

• add hoare_asgn_fwd and other proofs

  kamalfarahani

  committed
  e743beb

  Copy full SHA for e743beb

Commits on Jun 11, 2021

• add fold_constants_com_sound proof

  kamalfarahani

  committed
  ceb93ab

  Copy full SHA for ceb93ab

• add fold_bexp_Eq_informal exercise

  kamalfarahani

  committed
  1e0e34d

  Copy full SHA for 1e0e34d

Commits on Jun 10, 2021

• add CIf_congruence proof

  kamalfarahani

  committed
  a3dae64

  Copy full SHA for a3dae64

• add CSeq_congruence proof

  kamalfarahani

  committed
  a6845f5

  Copy full SHA for a6845f5

Commits on Jun 7, 2021

• add assign_aequiv proof

  kamalfarahani

  committed
  3cef918

  Copy full SHA for 3cef918

• add seq_assoc proof

  kamalfarahani

  committed
  b95d0c8

  Copy full SHA for b95d0c8

• add while_true proof

  kamalfarahani

  committed
  621f67b

  Copy full SHA for 621f67b

• add swap_if_branches proof

  kamalfarahani

  committed
  8f87494

  Copy full SHA for 8f87494

• add if_false proof

  kamalfarahani

  committed
  8a53713

  Copy full SHA for 8a53713

• add skip_right

  kamalfarahani

  committed
  5a99ce8

  Copy full SHA for 5a99ce8

• add plf

  kamalfarahani

  committed
  e296439

  Copy full SHA for e296439

Commits on May 31, 2021

• add short_circuit exercise

  kamalfarahani

  committed
  2bc20e1

  Copy full SHA for 2bc20e1

• add stack_compiler_correct

  kamalfarahani

  committed
  436d748

  Copy full SHA for 436d748

• add execute_app exercise

  kamalfarahani

  committed
  51c4905

  Copy full SHA for 51c4905

• add stack_compiler exercise

  kamalfarahani

  committed
  c45f29e

  Copy full SHA for c45f29e

Commits on May 29, 2021

• add no_whiles_terminating exercise

  kamalfarahani

  committed
  2e73fb6

  Copy full SHA for 2e73fb6

• add no_whiles_eqv exercise

  kamalfarahani

  committed
  4b7c5ab

  Copy full SHA for 4b7c5ab

Commits on May 28, 2021

• add loop_never_stops exercise

  kamalfarahani

  committed
  8a76b49

  Copy full SHA for 8a76b49

• add pup_to_n

  kamalfarahani

  committed
  fd5cb81

  Copy full SHA for fd5cb81

• add ceval_example2

  kamalfarahani

  committed
  6366ecc

  Copy full SHA for 6366ecc

Commits on May 27, 2021

• add bevalR exercise

  kamalfarahani

  committed
  0c4b761

  Copy full SHA for 0c4b761

Commits on May 26, 2021

• add beval_rules exercise

  kamalfarahani

  committed
  ff885b6

  Copy full SHA for ff885b6

Commits on May 24, 2021

• add optimize exercise

  kamalfarahani

  committed
  76f73d3

  Copy full SHA for 76f73d3

• add optimize_0plus_b_sound exercise

  kamalfarahani

  committed
  c0a34c0

  Copy full SHA for c0a34c0

• add leibniz_equality

  kamalfarahani

  committed
  b5eb8a9

  Copy full SHA for b5eb8a9

Commits on May 23, 2021

• add ex_falso_quodlibet'

  kamalfarahani

  committed
  65b6013

  Copy full SHA for 65b6013

Pagination

Previous

Next