Commits

Branch selector

 interface

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 22, 2024

• fix wrong code gen example by normalizing register cons

  NeuralCoder3

  committed
  9a13f61

  Copy full SHA for 9a13f61

Commits on Jul 19, 2024

• reverse rule addition order

  NeuralCoder3

  committed
  03256fa

  Copy full SHA for 03256fa

Commits on Jul 18, 2024

• parsers

  NeuralCoder3

  committed
  f63855b

  Copy full SHA for f63855b

Commits on Jul 16, 2024

• instantiate, codegen, internal improvements

  NeuralCoder3

  committed
  6d09ab2

  Copy full SHA for 6d09ab2

Commits on Jul 12, 2024

• update

  NeuralCoder3

  committed
  6837672

  Copy full SHA for 6837672

Commits on Jul 11, 2024

• remove partly implemented smt and auto commands

  NeuralCoder3

  committed
  e2d1f35

  Copy full SHA for e2d1f35

• link to github issues

  NeuralCoder3

  committed
  23e7cd9

  Copy full SHA for 23e7cd9

• improved expression binop renderer

  NeuralCoder3

  committed
  0ef601f

  Copy full SHA for 0ef601f

Commits on Jul 2, 2024

• fixed bug in consequence rule

  NeuralCoder3

  committed
  b8708a7

  Copy full SHA for b8708a7

• enable hoare and other calculi (naive setting)

  NeuralCoder3

  committed
  ad1ee01

  Copy full SHA for ad1ee01

Commits on Dec 12, 2023

• prog1 semantics

  NeuralCoder3

  committed
  82a43e3

  Copy full SHA for 82a43e3

Commits on Jun 28, 2023

• generalized interface, propagation

  NeuralCoder3

  committed
  58b9199

  Copy full SHA for 58b9199

Commits on Jun 26, 2023

• show rules

  NeuralCoder3

  committed
  1f2a1a3

  Copy full SHA for 1f2a1a3

Commits on Jun 23, 2023

• change example

  NeuralCoder3

  committed
  a018b1f

  Copy full SHA for a018b1f

Commits on Apr 23, 2023

• offset attribute, cleanup

  NeuralCoder3

  committed
  687c40c

  Copy full SHA for 687c40c

• annotations => UI

  NeuralCoder3

  committed
  79ae076

  Copy full SHA for 79ae076

• add annotations to premises

  NeuralCoder3

  committed
  ffc8734

  Copy full SHA for ffc8734

Commits on Apr 20, 2023

• gh-pages

  NeuralCoder3

  committed
  b97e508

  Copy full SHA for b97e508

• interface update

  NeuralCoder3

  committed
  2b51590

  Copy full SHA for 2b51590

Commits on Apr 10, 2023

• quick interface test

  NeuralCoder3

  committed
  38a8586

  Copy full SHA for 38a8586

Commits on Mar 27, 2023

• drag test

  NeuralCoder3

  committed
  5aff29a

  Copy full SHA for 5aff29a

• moved to react

  NeuralCoder3

  committed
  74d61f3

  Copy full SHA for 74d61f3

Commits on Mar 23, 2023

• Merge branch 'main' of https://github.com/NeuralCoder3/prooftrees

  NeuralCoder3

  committed
  3c57aa6

  Copy full SHA for 3c57aa6

• add missing folder

  NeuralCoder3

  committed
  89022ed

  Copy full SHA for 89022ed

Commits on Mar 21, 2023

• Create CITATION.cff

  NeuralCoder3

  authored
  65809c4

  Copy full SHA for 65809c4

• added explanation

  NeuralCoder3

  committed
  95e5b15

  Copy full SHA for 95e5b15

• better and more examples

  NeuralCoder3

  committed
  a9829cf

  Copy full SHA for a9829cf

• switch to predicate logic for abstract general syntactic unification

  NeuralCoder3

  committed
  d878178

  Copy full SHA for d878178

• string unification tests via library, inference types

  NeuralCoder3

  committed
  8889265

  Copy full SHA for 8889265

• typescript console application/library template for inference unification test

  NeuralCoder3

  committed
  f25c7d0

  Copy full SHA for f25c7d0

• tabula rasa

  NeuralCoder3

  committed
  816f80a

  Copy full SHA for 816f80a

Commits on Oct 5, 2021

• view controller split

  NeuralCoder3

  committed
  58ea4c1

  Copy full SHA for 58ea4c1

• homepage attribute

  NeuralCoder3

  committed
  9466db6

  Copy full SHA for 9466db6

• component vs element

  NeuralCoder3

  committed
  6193e18

  Copy full SHA for 6193e18

Commits on Oct 3, 2021

• added math support

  NeuralCoder3

  committed
  83bc314

  Copy full SHA for 83bc314

Pagination

Previous

Next