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

• 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
• 147079816d Add manifest file Leni Aniva 2023-05-21 23:30:41 -0700
• 083ec8beec Add REPL tactics Leni Aniva 2023-05-21 17:41:39 -0700
• 41241bfa40 Add REPL tactics Leni Aniva 2023-05-21 17:41:39 -0700
• 15aab3d31f Remove ExceptT from main monad Leni Aniva 2023-05-20 15:58:38 -0700
• ed70875837 Remove ExceptT from main monad Leni Aniva 2023-05-20 15:58:38 -0700
• 2a4d348aab Add expression IO stub for constant types Leni Aniva 2023-05-20 14:04:09 -0700
• c4a1ccad13 Add expression IO stub for constant types Leni Aniva 2023-05-20 14:04:09 -0700
• 8127e9ba06 Add alternative command input format and IO stub Leni Aniva 2023-05-20 13:03:12 -0700
• 65da39440d Add alternative command input format and IO stub Leni Aniva 2023-05-20 13:03:12 -0700
• e246fd961f Add tactic state manipulation Leni Aniva 2023-05-17 21:58:03 -0700
• 14a6eb1f59 Add tactic state manipulation Leni Ven 2023-05-17 21:58:03 -0700
• 4d636ec12b Add stack size troubleshooting Leni Aniva 2023-05-14 15:22:41 -0700
• 2ec4efde55 Add stack size troubleshooting Leni Ven 2023-05-14 15:22:41 -0700
• d3af535652 Add unsafe filtering in catalog Leni Aniva 2023-05-12 16:12:21 -0700
• 3cb0795bb6 Add unsafe filtering in catalog Leni Ven 2023-05-12 16:12:21 -0700
• 7c96479bb5 Add working catalog code and example Leni Aniva 2023-05-12 01:08:36 -0700
• 9f53781ffe Add working catalog code and example Leni Aniva 2023-05-12 01:08:36 -0700
• b5cb464694 Add README and catalog functions Leni Aniva 2023-05-09 22:51:19 -0700
• 5a297e8fef Add README and catalog functions Leni Ven 2023-05-09 22:51:19 -0700
• f6a520c7a0 Separate commands into its own file Leni Aniva 2023-05-09 18:01:09 -0700
• 0b2db92b4a Separate commands into its own file Leni Aniva 2023-05-09 18:01:09 -0700
• 1a611c1415 Add REPL Leni Aniva 2023-05-09 16:39:24 -0700
• 9a957bce35 Add REPL Leni Ven 2023-05-09 16:39:24 -0700
• 9bba78eb1d Initial commit Leni Aniva 2023-05-07 15:19:45 -0700