Commit Graph

Select branches

Hide Pull Requests

dev

doc/rationale

goal/tactic

main

parse/level

serial/pickle

#10

#100

#101

#105

#107

#108

#109

#11

#110

#111

#113

#115

#116

#119

#12

#120

#121

#123

#13

#14

#15

#16

#17

#2

#20

#21

#25

#26

#27

#28

#29

#30

#31

#32

#33

#35

#36

#37

#38

#40

#41

#42

#43

#44

#45

#46

#47

#48

#49

#5

#50

#51

#52

#53

#54

#55

#56

#58

#59

#60

#63

#64

#65

#66

#68

#69

#7

#70

#71

#72

#73

#75

#76

#79

#81

#82

#83

#85

#86

#87

#89

#90

#91

#92

#94

#96

#99

0.1

0.2.3

v0.2.10

v0.2.10-alpha

v0.2.11

v0.2.12

v0.2.13

v0.2.14

v0.2.18

v0.2.19

v0.2.19-alpha

v0.2.20

v0.2.5

v0.2.6

v0.2.7

v0.2.8

v0.2.9

Mono Color

• a748900ad6 Merge pull request 'feat: Add leanpkgs to the flake output' (#46) from nix/toolchain into dev Leni Aniva 2024-02-15 14:30:30 -0800
• df4e044e5f chore: Expose `leanPkgs` in flake Leni Aniva 2024-02-13 15:30:56 -0500
• 3e321516f7
  
  chore: Expose `leanPkgs` in flake Leni Aniva 2024-02-13 15:30:56 -0500
• 5f5d06f1d8 feat: Add lake and lean to the package output Leni Aniva 2024-02-05 11:49:01 -0800
• 8b67e7006a
  
  feat: Add lake and lean to the package output Leni Aniva 2024-02-05 11:49:01 -0800
• 4acd367ca7 chore: Version bump to 0.2.12-alpha Leni Aniva 2024-01-30 17:45:32 -0800
• 4a98b90289
  
  chore: Version bump to 0.2.12-alpha Leni Aniva 2024-01-30 17:45:32 -0800
• fe5c1eda7d feat: Prevent crash during rootExpr call Leni Aniva 2024-01-30 17:22:20 -0800
• 5720c72515
  
  feat: Prevent crash during rootExpr call Leni Aniva 2024-01-30 17:22:20 -0800
• 40d61fecc5 doc: Correct comment about parent filling expr Leni Aniva 2024-01-30 16:37:35 -0800
• 6d22841a27
  
  doc: Correct comment about parent filling expr Leni Aniva 2024-01-30 16:37:35 -0800
• 25f3a2f19d feat: Print parent expression assignment Leni Aniva 2024-01-24 18:19:04 -0800
• 9a5ee49778
  
  feat: Print parent expression assignment Leni Aniva 2024-01-24 18:19:04 -0800
• d5ef05a7b0 Merge pull request 'test: Option controlled mvar instantiation' (#44) from goal/diag into dev Leni Aniva 2024-01-17 22:27:44 -0800
• a811decf84 Merge pull request 'test: Option controlled mvar instantiation' (#44) from goal/diag into dev v0.2.11 Leni Aniva 2024-01-17 22:27:44 -0800
• 34d9b02797 Merge branch 'dev' into goal/diag Leni Aniva 2024-01-17 14:03:19 -0800
• 79b6974172
  
  Merge branch 'dev' into goal/diag Leni Aniva 2024-01-17 14:03:19 -0800
• 30eda7ef8c Merge pull request 'feat: Print inductives, constructors, and recursors in env.inspect' (#43) from env/inspect into dev Leni Aniva 2024-01-17 14:02:55 -0800
• 42c3da4a67 Merge pull request 'feat: Print inductives, constructors, and recursors in env.inspect' (#43) from env/inspect into dev Leni Aniva 2024-01-17 14:02:55 -0800
• 6a81d83c1f test: Option controlled mvar instantiation Leni Aniva 2024-01-16 16:44:54 -0800
• efa956464d
  
  test: Option controlled mvar instantiation Leni Aniva 2024-01-16 16:44:54 -0800
• 50ac2fea4b feat: Print constructor and recursor info Leni Aniva 2024-01-16 14:11:52 -0800
• 93a34f9fda
  
  feat: Print constructor and recursor info Leni Aniva 2024-01-16 14:11:52 -0800
• 6fb1b2e787 feat: Print inductives in env.inspect Leni Aniva 2024-01-16 13:29:30 -0800
• a1421439f8
  
  feat: Print inductives in env.inspect Leni Aniva 2024-01-16 13:29:30 -0800
• 6692303da6 test: Simplify monad execution Leni Aniva 2024-01-07 14:14:20 -0800
• b29f7cb180
  
  test: Simplify monad execution v0.2.10 Leni Aniva 2024-01-07 14:14:20 -0800
• a8bfa56587 Merge pull request 'feat: Add definitions and theorems to the environment' (#41) from env/add-decl into dev Leni Aniva 2023-12-26 12:41:01 -0800
• 6e39b5ef8b Merge pull request 'feat: Add definitions and theorems to the environment' (#41) from env/add-decl into dev Leni Aniva 2023-12-26 12:41:01 -0800
• 1c370ef2ae refactor: Rename Test/{Catalog,Environment} Leni Aniva 2023-12-26 12:22:57 -0500
• 77232d5a1e
  
  refactor: Rename Test/{Catalog,Environment} Leni Aniva 2023-12-26 12:22:57 -0500
• dc90b6b73e chore: Move environment functions to its own file Leni Aniva 2023-12-15 13:40:36 -0500
• 22789436bd
  
  chore: Move environment functions to its own file Leni Aniva 2023-12-15 13:40:36 -0500
• da194a1165 refactor: env. operations into its own file Leni Aniva 2023-12-15 13:37:55 -0500
• aca7dc9811
  
  refactor: env. operations into its own file Leni Aniva 2023-12-15 13:37:55 -0500
• aef93cf506 fix: Force instantiate all mvars in env.add Leni Aniva 2023-12-15 13:07:59 -0500
• 3b83c81540
  
  fix: Force instantiate all mvars in env.add Leni Aniva 2023-12-15 13:07:59 -0500
• a540dd4540 test: env.add Leni Aniva 2023-12-14 11:11:24 -0800
• 6c25cca46a
  
  test: env.add Leni Aniva 2023-12-14 11:11:24 -0800
• 85eb42207c fix: env_add monads Leni Aniva 2023-12-14 05:52:12 -0800
• 2f3a91562a
  
  fix: env_add monads Leni Aniva 2023-12-14 05:52:12 -0800
• 69be7c3920 Merge branch 'dev' into env/add-decl Leni Aniva 2023-12-14 05:48:49 -0800
• 09f5792d4a
  
  Merge branch 'dev' into env/add-decl Leni Aniva 2023-12-14 05:48:49 -0800
• 83ff58dffc Merge pull request 'feat: Change the main interaction monad' (#40) from core/loop into dev Leni Aniva 2023-12-14 05:46:39 -0800
• 4076d8a7dd Merge pull request 'feat: Change the main interaction monad' (#40) from core/loop into dev Leni Aniva 2023-12-14 05:46:39 -0800
• 3c96a7c0ea feat: env_add command Leni Aniva 2023-12-13 19:35:32 -0800
• 02889510b2
  
  feat: env_add command Leni Aniva 2023-12-13 19:35:32 -0800
• ff4671cdd0 chore: Rename lib. commands to env. Leni Aniva 2023-12-12 18:56:25 -0800
• 12544b81ee
  
  chore: Rename lib. commands to env. Leni Aniva 2023-12-12 18:56:25 -0800
• 085b12c255 feat: Use CoreM as the main interaction monad Leni Aniva 2023-12-12 18:39:02 -0800
• ab1b309c72
  
  feat: Use CoreM as the main interaction monad Leni Aniva 2023-12-12 18:39:02 -0800
• ac9f6f810c doc: TermElabM metavariable generation Leni Aniva 2023-12-08 17:32:30 -0800
• 45beca0bc4
  
  doc: TermElabM metavariable generation Leni Aniva 2023-12-08 17:32:30 -0800
• bd0c66facc fix: Consolidate TermElabM blocks Leni Aniva 2023-12-08 17:31:25 -0800
• 1fb189a38f
  
  fix: Consolidate TermElabM blocks Leni Aniva 2023-12-08 17:31:25 -0800
• 2fe4fa9bc4 fix: Change the main interaction monad to MetaM Leni Aniva 2023-12-08 16:17:16 -0800
• c76751861a
  
  fix: Change the main interaction monad to MetaM Leni Aniva 2023-12-08 16:17:16 -0800
• d7fcc502f9 chore: Version downgrade to 0.2.10-alpha Leni Aniva 2023-12-07 12:36:43 -0800
• de2688ccfa
  
  chore: Version downgrade to 0.2.10-alpha v0.2.10-alpha Leni Aniva 2023-12-07 12:36:43 -0800
• 94c4b2cfe3 Merge pull request 'fix: Printing projection leads to crash' (#37) from io/sexp into dev Leni Aniva 2023-12-07 12:33:01 -0800
• 4871133027 Merge pull request 'fix: Printing projection leads to crash' (#37) from io/sexp into dev Leni Aniva 2023-12-07 12:33:01 -0800
• 924a67f46d doc: getUsedConstants bug about projections Leni Aniva 2023-12-06 15:05:04 -0800
• 2dc7657e2a
  
  doc: getUsedConstants bug about projections Leni Aniva 2023-12-06 15:05:04 -0800
• 8a8db545a5 fix: Printing projection leads to crash Leni Aniva 2023-12-05 22:45:59 -0800
• ccf5a03647
  
  fix: Printing projection leads to crash Leni Aniva 2023-12-05 22:45:59 -0800
• f2b54ec018 Merge pull request 'feat: Handling of private names' (#36) from library/catalog into dev Leni Aniva 2023-12-05 20:22:38 -0800
• 56966b27cf Merge pull request 'feat: Handling of private names' (#36) from library/catalog into dev Leni Aniva 2023-12-05 20:22:38 -0800
• 3c2d93259f Merge branch 'dev' into library/catalog Leni Aniva 2023-12-05 20:21:22 -0800
• 9276d47e0d
  
  Merge branch 'dev' into library/catalog Leni Aniva 2023-12-05 20:21:22 -0800
• 079f12d6d3 chore: Version bump Leni Aniva 2023-12-05 20:21:07 -0800
• cf856d2880
  
  chore: Version bump Leni Aniva 2023-12-05 20:21:07 -0800
• d846210b9e Merge pull request 'feat: Print structural projection as application' (#35) from io/serial into dev Leni Aniva 2023-12-05 20:20:51 -0800
• beb837ccab Merge pull request 'feat: Print structural projection as application' (#35) from io/serial into dev Leni Aniva 2023-12-05 20:20:51 -0800
• dbfee00420 feat!: Display public name only if name is private Leni Aniva 2023-12-05 20:20:08 -0800
• da74258dd1
  
  feat!: Display public name only if name is private Leni Aniva 2023-12-05 20:20:08 -0800
• cdb1e8576f feat: Display whether a symbol is private Leni Aniva 2023-12-05 19:07:00 -0800
• 9f2b07757f
  
  feat: Display whether a symbol is private Leni Aniva 2023-12-05 19:07:00 -0800
• c80d7567b6 feat: Expose _private names Leni Aniva 2023-12-04 23:36:09 -0800
• 07ade4c822
  
  feat: Expose _private names Leni Aniva 2023-12-04 23:36:09 -0800
• f72a82a4c9 feat: Remove stem deduce Leni Aniva 2023-12-04 16:40:15 -0800
• a454aaf1d4
  
  feat: Remove stem deduce Leni Aniva 2023-12-04 16:40:15 -0800
• 35f411041e feat: Remove printing projections Leni Aniva 2023-12-04 16:21:02 -0800
• ec09304e02
  
  feat: Remove printing projections Leni Aniva 2023-12-04 16:21:02 -0800
• 860d2e239a feat: Remove | in symbol output Leni Aniva 2023-11-27 09:54:41 -0800
• 967e3dfb4f
  
  feat: Remove | in symbol output v0.2.9 Leni Aniva 2023-11-27 09:54:41 -0800
• e0cfdfaf16 chore: Version bump to 0.2.9 Leni Aniva 2023-11-26 23:48:47 -0800
• 0a5a96275f
  
  chore: Version bump to 0.2.9 Leni Aniva 2023-11-26 23:48:47 -0800
• fe850ded98 feat: Shorter symbol category Leni Aniva 2023-11-26 22:14:58 -0800
• 7690272bfa
  
  feat: Shorter symbol category Leni Aniva 2023-11-26 22:14:58 -0800
• aaebb6b121 feat: Read dependencies of library symbols Leni Aniva 2023-11-25 15:07:56 -0800
• 7b59937853
  
  feat: Read dependencies of library symbols Leni Aniva 2023-11-25 15:07:56 -0800
• a1d991f5db fix: Rectify error format Leni Aniva 2023-11-09 22:24:17 -0800
• 2a9931c134
  
  fix: Rectify error format Leni Aniva 2023-11-09 22:24:17 -0800
• cc9e659c06 Merge pull request 'feat: Allow selective continuation of goals' (#27) from goal/continuation into dev Leni Aniva 2023-11-07 16:49:55 -0800
• c99125c4a6 Merge pull request 'feat: Allow selective continuation of goals' (#27) from goal/continuation into dev v0.2.8 Leni Aniva 2023-11-07 16:49:55 -0800
• a491316541 fix: Do not show parent state in continue Leni Aniva 2023-11-07 13:10:14 -0800
• 8218d3f004
  
  fix: Do not show parent state in continue Leni Aniva 2023-11-07 13:10:14 -0800
• e654613182 fix: New goal state not inserted correctly Leni Aniva 2023-11-07 13:07:50 -0800
• 736e68639f
  
  fix: New goal state not inserted correctly Leni Aniva 2023-11-07 13:07:50 -0800
• d35803791e Merge branch 'dev' into goal/continuation Leni Aniva 2023-11-07 12:11:14 -0800