Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/floatbits/./tests/lean/interactive
tree: 1cb9240afe003851ccd42284e675ea85fbbb293e [search]
  1. 1031.lean
  2. 1031.lean.expected.out
  3. 1265.lean
  4. 1265.lean.expected.out
  5. 1403.lean
  6. 1403.lean.expected.out
  7. 1525.lean
  8. 1525.lean.expected.out
  9. 1659.lean
  10. 1659.lean.expected.out
  11. 2058.lean
  12. 2058.lean.expected.out
  13. 2881.lean
  14. 2881.lean.expected.out
  15. 4078.lean
  16. 4078.lean.expected.out
  17. 4880.lean
  18. 4880.lean.expected.out
  19. 533.lean
  20. 533.lean.expected.out
  21. 863.lean
  22. 863.lean.expected.out
  23. amb.lean
  24. amb.lean.expected.out
  25. anonHyp.lean
  26. anonHyp.lean.expected.out
  27. autoBoundIssue.lean
  28. autoBoundIssue.lean.expected.out
  29. builtinCodeactions.lean
  30. builtinCodeactions.lean.expected.out
  31. catHover.lean
  32. catHover.lean.expected.out
  33. codeaction.lean
  34. codeaction.lean.expected.out
  35. compHeader.lean
  36. compHeader.lean.expected.out
  37. completion.lean
  38. completion.lean.expected.out
  39. completion2.lean
  40. completion2.lean.expected.out
  41. completion3.lean
  42. completion3.lean.expected.out
  43. completion4.lean
  44. completion4.lean.expected.out
  45. completion5.lean
  46. completion5.lean.expected.out
  47. completion6.lean
  48. completion6.lean.expected.out
  49. completion7.lean
  50. completion7.lean.expected.out
  51. completionAtPrint.lean
  52. completionAtPrint.lean.expected.out
  53. completionBracketedDot.lean
  54. completionBracketedDot.lean.expected.out
  55. completionCheck.lean
  56. completionCheck.lean.expected.out
  57. completionDeprecation.lean
  58. completionDeprecation.lean.expected.out
  59. completionDocString.lean
  60. completionDocString.lean.expected.out
  61. completionEOF.lean
  62. completionEOF.lean.expected.out
  63. completionFallback.lean
  64. completionFallback.lean.expected.out
  65. completionFromExpectedType.lean
  66. completionFromExpectedType.lean.expected.out
  67. completionIStr.lean
  68. completionIStr.lean.expected.out
  69. completionOpenNamespaces.lean
  70. completionOpenNamespaces.lean.expected.out
  71. completionOption.lean
  72. completionOption.lean.expected.out
  73. completionPrefixIssue.lean
  74. completionPrefixIssue.lean.expected.out
  75. completionPrivateTypes.lean
  76. completionPrivateTypes.lean.expected.out
  77. completionPrv.lean
  78. completionPrv.lean.expected.out
  79. completionTactics.lean
  80. completionTactics.lean.expected.out
  81. compNamespace.lean
  82. compNamespace.lean.expected.out
  83. definition.lean
  84. definition.lean.expected.out
  85. Diff.lean
  86. Diff.lean.expected.out
  87. discrsIssue.lean
  88. discrsIssue.lean.expected.out
  89. dotIdCompletion.lean
  90. dotIdCompletion.lean.expected.out
  91. editAfterError.lean
  92. editAfterError.lean.expected.out
  93. editCompletion.lean
  94. editCompletion.lean.expected.out
  95. expectedTypeAsGoal.lean
  96. expectedTypeAsGoal.lean.expected.out
  97. explicitAppInstHole.lean
  98. explicitAppInstHole.lean.expected.out
  99. foldingRange.lean
  100. foldingRange.lean.expected.out
  101. goalEOF.lean
  102. goalEOF.lean.expected.out
  103. goalIssue.lean
  104. goalIssue.lean.expected.out
  105. goTo.lean
  106. goTo.lean.expected.out
  107. goTo2.lean
  108. goTo2.lean.expected.out
  109. haveInfo.lean
  110. haveInfo.lean.expected.out
  111. highlight.lean
  112. highlight.lean.expected.out
  113. hover.lean
  114. hover.lean.expected.out
  115. hoverAt.lean
  116. hoverAt.lean.expected.out
  117. hoverBinderUndescore.lean
  118. hoverBinderUndescore.lean.expected.out
  119. hoverDot.lean
  120. hoverDot.lean.expected.out
  121. hoverException.lean
  122. hoverException.lean.expected.out
  123. hoverTacticExt.lean
  124. hoverTacticExt.lean.expected.out
  125. incrementalCombinator.lean
  126. incrementalCombinator.lean.expected.out
  127. incrementalCommand.lean
  128. incrementalCommand.lean.expected.out
  129. incrementalInduction.lean
  130. incrementalInduction.lean.expected.out
  131. incrementalMutual.lean
  132. incrementalMutual.lean.expected.out
  133. incrementalTactic.lean
  134. incrementalTactic.lean.expected.out
  135. infoIssues.lean
  136. infoIssues.lean.expected.out
  137. internalNamesIssue.lean
  138. internalNamesIssue.lean.expected.out
  139. inWordCompletion.lean
  140. inWordCompletion.lean.expected.out
  141. issue4527.lean
  142. issue4527.lean.expected.out
  143. issue5021.lean
  144. issue5021.lean.expected.out
  145. issue5597.lean
  146. issue5597.lean.expected.out
  147. jumpMutual.lean
  148. jumpMutual.lean.expected.out
  149. keywordCompletion.lean
  150. keywordCompletion.lean.expected.out
  151. lean3HoverIssue.lean
  152. lean3HoverIssue.lean.expected.out
  153. macroGoalIssue.lean
  154. macroGoalIssue.lean.expected.out
  155. match.lean
  156. match.lean.expected.out
  157. matchPatternHover.lean
  158. matchPatternHover.lean.expected.out
  159. matchStxCompletion.lean
  160. matchStxCompletion.lean.expected.out
  161. partialNamespace.lean
  162. partialNamespace.lean.expected.out
  163. plainGoal.lean
  164. plainGoal.lean.expected.out
  165. plainTermGoal.lean
  166. plainTermGoal.lean.expected.out
  167. rename.lean
  168. rename.lean.expected.out
  169. run.lean
  170. stdOutput.lean
  171. stdOutput.lean.expected.out
  172. terminationBySuggestion.lean
  173. terminationBySuggestion.lean.expected.out
  174. test_single.sh
  175. travellingCompletions.lean
  176. travellingCompletions.lean.expected.out
  177. unterminatedDocComment.lean
  178. unterminatedDocComment.lean.expected.out
  179. userWidget.lean
  180. userWidget.lean.expected.out