Commit Graph

Select branches

Hide Pull Requests

bug/expr-proj-to-app-panic

dev

doc/rationale

env/inspect

env/module

io/async

main

misc/build

parse/level

serial/pickle

#10

#100

#101

#105

#107

#108

#109

#11

#110

#111

#113

#115

#116

#119

#12

#120

#121

#123

#128

#129

#13

#130

#133

#134

#135

#136

#139

#14

#140

#141

#143

#144

#145

#146

#148

#149

#15

#152

#153

#154

#155

#156

#157

#158

#159

#16

#161

#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.21

v0.2.22

v0.2.23

v0.2.24

v0.2.5

v0.2.6

v0.2.7

v0.2.8

v0.2.9

Mono Color

• 7dc6e4e549
  
  Add documentation about flake v0.2.5 Leni Aniva 2023-10-20 12:54:35 -0700
• 3d7d5d6b4d feat: Add nix flake Leni Aniva 2023-10-20 11:52:09 -0700
• ba53e9087b
  
  feat: Add nix flake Leni Aniva 2023-10-20 11:52:09 -0700
• 538ba6e7d7 Store states instead of goals Leni Aniva 2023-10-15 17:15:23 -0700
• 9447d29e37
  
  Store states instead of goals Leni Aniva 2023-10-15 17:15:23 -0700
• 41db295ff5 Rename tactic to goal and restructure Leni Aniva 2023-10-15 12:31:22 -0700
• 8c93d30ab7
  
  Rename tactic to goal and restructure Leni Aniva 2023-10-15 12:31:22 -0700
• 7a5fe554ba Add holes test stub Leni Aniva 2023-10-06 17:31:36 -0700
• 42133f9b74
  
  Add holes test stub Leni Aniva 2023-10-06 17:31:36 -0700
• 13f3460e9a Fix test failures Leni Aniva 2023-10-05 17:51:41 -0700
• 5b002a9ceb
  
  Fix test failures Leni Aniva 2023-10-05 17:51:41 -0700
• a8cf94ccb1 Bump Lean version to 4.1.0 Leni Aniva 2023-10-05 17:49:43 -0700
• 836a14fa63
  
  Bump Lean version to 4.1.0 Leni Aniva 2023-10-05 17:49:43 -0700
• 0948e71d60 Add dependency for lakefile and lean-toolchain Leni Aniva 2023-10-02 10:30:07 -0700
• 5f2b394471
  
  Add dependency for lakefile and lean-toolchain Leni Aniva 2023-10-02 10:30:07 -0700
• 6d15d1e670 Use makefile instead of ad-hoc script Leni Aniva 2023-10-02 10:26:19 -0700
• 2c3a7adb61
  
  Use makefile instead of ad-hoc script Leni Aniva 2023-10-02 10:26:19 -0700
• 35b391881e Add ready message to indicate the main loop is up Leni Aniva 2023-10-01 21:58:58 -0700
• 8e02e6e7cc Add ready message to indicate the main loop is up Leni Aniva 2023-10-01 21:58:58 -0700
• 79a63be619
  
  Merge branch 'dev' into misc/interaction Leni Aniva 2023-10-02 10:12:10 -0700
• fd4d3226a1
  
  Add ready message to indicate the main loop is up Leni Aniva 2023-10-01 21:58:58 -0700
• d7077ce854 Bump lean version to 4.0.0 Leni Aniva 2023-09-13 21:02:26 -0700
• 1e637dabaa
  
  Bump lean version to 4.0.0 Leni Aniva 2023-09-13 21:02:26 -0700
• 75f43786fb Merge pull request 'Simplify goal bookkeeping mechanism' (#10) from tactic/book into dev Leni Aniva 2023-08-30 19:18:36 -0700
• c4a97d8a76 Merge pull request 'Simplify goal bookkeeping mechanism' (#10) from tactic/book into dev Leni Aniva 2023-08-30 19:18:36 -0700
• f538f580bd Merge branch 'dev' into tactic/book Leni Aniva 2023-08-30 19:17:25 -0700
• acfd4e8288
  
  Merge branch 'dev' into tactic/book Leni Aniva 2023-08-30 19:17:25 -0700
• f1f1c20ff9 Add SemihashMap interface, rename proof commands to goal commands, allow deletion Leni Aniva 2023-08-30 19:16:33 -0700
• 46347d8244
  
  Add SemihashMap interface, rename proof commands to goal commands, allow deletion Leni Aniva 2023-08-30 19:16:33 -0700
• 6b96f7893f Separate max and imax in sort level Leni Aniva 2023-08-27 22:50:18 -0700
• 71327d2d55
  
  Separate max and imax in sort level Leni Aniva 2023-08-27 22:50:18 -0700
• b98304f78a Version bump to 0.2.4 due to breaking change Leni Aniva 2023-08-27 19:59:31 -0700
• 8d5d7b6e3e
  
  Version bump to 0.2.4 due to breaking change Leni Aniva 2023-08-27 19:59:31 -0700
• a6e337a89e Rename proof commands to goal commands Leni Aniva 2023-08-27 19:58:52 -0700
• 80ad7a2bd0
  
  Rename proof commands to goal commands Leni Aniva 2023-08-27 19:58:52 -0700
• a86af1bc57 Add SemihashMap structure for goal bookkeeping Leni Aniva 2023-08-27 19:53:09 -0700
• 0c5f439067
  
  Add SemihashMap structure for goal bookkeeping Leni Aniva 2023-08-27 19:53:09 -0700
• b74119e378 Merge pull request 'Remove the obsolete name field from proof tree structure' (#11) from misc/cleanup into dev Leni Aniva 2023-08-26 18:50:40 -0700
• dea63ac5ea Merge pull request 'Remove the obsolete name field from proof tree structure' (#11) from misc/cleanup into dev Leni Aniva 2023-08-26 18:50:40 -0700
• 9c4c43a9f1 Remove the obsolete name field from proof tree structure Leni Aniva 2023-08-23 13:19:38 -0700
• 81702d12ef Remove the obsolete name field from proof tree structure Leni Aniva 2023-08-23 13:19:38 -0700
• bd4fbcc369 Add test cases for command error categories Leni Aniva 2023-08-24 23:12:18 -0700
• 51edc701fe
  
  Add test cases for command error categories Leni Aniva 2023-08-24 23:12:18 -0700
• ff8fed8741 Classify JSON error as command error Leni Aniva 2023-08-24 22:51:40 -0700
• 95d26a2f50
  
  Classify JSON error as command error Leni Aniva 2023-08-24 22:51:40 -0700
• 98edaa3297 Merge pull request 'Add more serialisation options' (#2) from io/serial into dev Leni Aniva 2023-08-23 13:29:00 -0700
• 5978e5f4f3 Merge pull request 'Add more serialisation options' (#2) from io/serial into dev 0.2.3 Leni Aniva 2023-08-23 13:29:00 -0700
• 1f27532769 Merge branch 'dev' into io/serial Leni Aniva 2023-08-23 13:25:08 -0700
• 7160f8aa61
  
  Merge branch 'dev' into io/serial Leni Aniva 2023-08-23 13:25:08 -0700
• 0c330c8778 Unify json and unknown error into command error Leni Aniva 2023-08-23 13:00:11 -0700
• 85440e0278
  
  Unify json and unknown error into command error Leni Aniva 2023-08-23 13:00:11 -0700
• 59c046efc6 Add proper printing of sorts Leni Aniva 2023-08-23 12:51:06 -0700
• e63f7c9afa
  
  Add proper printing of sorts Leni Aniva 2023-08-23 12:51:06 -0700
• a8cbb3be4f Move all json-string functions to Main.lean Leni Aniva 2023-08-22 09:54:37 -0700
• 1d1fa60175
  
  Move all json-string functions to Main.lean Leni Aniva 2023-08-22 09:54:37 -0700
• 96cbbf2551 Add compressed json print option; Rearrange commands into hierarchy Leni Aniva 2023-08-16 19:25:32 -0700
• ddf7ec21c8 Add compressed json print option; Rearrange commands into hierarchy Leni Aniva 2023-08-16 19:25:32 -0700
• b2ba26528d Add proof variable delta; Bump version to 0.2.1 Leni Aniva 2023-08-15 15:40:54 -0700
• 0e61093f47 Add proof variable delta; Bump version to 0.2.1 Leni Aniva 2023-08-15 15:40:54 -0700
• 7771408de1 Add expression sexp printing (2/2) Leni Aniva 2023-08-14 21:43:40 -0700
• d476354a4a Add expression sexp printing (2/2) Leni Aniva 2023-08-14 21:43:40 -0700
• 9eadd1d4d4 Add expression sexp printing (1/2, tests pending) Leni Aniva 2023-08-14 17:07:53 -0700
• 19c57ada1e Add expression sexp printing (1/2, tests pending) Leni Aniva 2023-08-14 17:07:53 -0700
• 5cedb9d88c version bump, restructure Leni Aniva 2023-08-13 21:19:06 -0700
• d705cdf0e5 version bump, restructure Leni Aniva 2023-08-13 21:19:06 -0700
• 622aa7f969 Add documentation; Remove mathlib dependency main Leni Aniva 2023-06-09 14:45:45 -0700
• a00a2b4a42 Add documentation; Remove mathlib dependency 0.1 Leni Aniva 2023-06-09 14:45:45 -0700
• 4613777607 Add json goal printing Leni Aniva 2023-05-27 23:10:39 -0700
• 572548c1bd Add json goal printing Leni Aniva 2023-05-27 23:10:39 -0700
• 3e05722d1e Add back the clear command to reset state Leni Aniva 2023-05-26 16:55:33 -0700
• 9fe3f62371 Add back the clear command to reset state Leni Aniva 2023-05-26 16:55:33 -0700
• 068a188fea Add expr.type Leni Aniva 2023-05-25 13:40:03 -0700
• 989130ecd2 Add expr.type Leni Aniva 2023-05-25 13:40:03 -0700
• e0c5f76451 Rename tactic failure mode to avoid confusion Leni Aniva 2023-05-24 22:33:10 -0700
• 5beb911db5 Rename tactic failure mode to avoid confusion Leni Aniva 2023-05-24 22:33:10 -0700
• da1cdf3d16 Update gitignore to exclude hidden files Leni Aniva 2023-05-24 09:32:19 -0700
• 9b8aff95e5 Update gitignore to exclude hidden files Leni Aniva 2023-05-24 09:32:19 -0700
• 1ed1aff7c9 Add documentation about options Leni Aniva 2023-05-24 00:55:54 -0700
• 4033722596 Add documentation about options Leni Aniva 2023-05-24 00:55:54 -0700
• 95ed7d115c Add expression binding printing and import Lean Leni Aniva 2023-05-24 00:54:48 -0700
• fd536da55c Add expression binding printing and import Lean Leni Aniva 2023-05-24 00:54:48 -0700
• 1fed222f56 Use TermElabM as the main monad stack instead of IO Leni Aniva 2023-05-23 05:12:46 -0700
• 58367cef6c Use TermElabM as the main monad stack instead of IO Leni Aniva 2023-05-23 05:12:46 -0700
• 94bc3355a2 Save core state in proofs Leni Aniva 2023-05-22 22:48:48 -0700
• c781797898 Save core state in proofs Leni Aniva 2023-05-22 22:48:48 -0700
• ba779766c0 Rename ids so they are consistent Leni Aniva 2023-05-22 19:45:08 -0700
• 44d470d63e Rename ids so they are consistent Leni Aniva 2023-05-22 19:45:08 -0700
• 1ad45f650f Remove testing stub in README.md Leni Aniva 2023-05-22 19:12:07 -0700
• 51477a4806 Remove testing stub in README.md Leni Aniva 2023-05-22 19:12:07 -0700
• 0f8df08dd5 Add module name for symbol Leni Aniva 2023-05-22 16:00:41 -0700
• 56b967ee7a Add module name for symbol Leni Aniva 2023-05-22 16:00:41 -0700
• 116c7ff4c6 Add option id handling with ? Leni Aniva 2023-05-22 14:56:43 -0700
• 22202af24e Add option id handling with ? Leni Aniva 2023-05-22 14:56:43 -0700
• 6a71dad389 Add option format for proof output and test cases Leni Aniva 2023-05-22 14:49:56 -0700
• 111dea2093 Add option format for proof output and test cases Leni Aniva 2023-05-22 14:49:56 -0700
• 1bf929b1e4 Add testing stub Leni Aniva 2023-05-22 11:47:46 -0700
• 8a448fb114 Add testing stub Leni Aniva 2023-05-22 11:47:46 -0700
• 46ccad1669 Add default arguments for Json Leni Aniva 2023-05-22 00:49:37 -0700
• 2772a394cc Add default arguments for Json Leni Aniva 2023-05-22 00:49:37 -0700
• 76d76630ee Add manifest file Leni Aniva 2023-05-21 23:30:41 -0700