Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 18, 2023

• add .gitignore

  kenken6696

  committed
  a68cb26

  Copy full SHA for a68cb26

Commits on Nov 27, 2023

• add try-except in convert_formulars.py

  kenken6696

  committed
  010c5f1

  Copy full SHA for 010c5f1

Commits on Oct 9, 2023

• Update README.md

  kenken6696

  authored
  0120854

  Copy full SHA for 0120854

Commits on May 13, 2020

• change filename

  kmineshima

  committed
  442a9ec

  Copy full SHA for 442a9ec

• change url to install candc

  kmineshima

  committed
  182d899

  Copy full SHA for 182d899

Commits on Sep 22, 2019

• fix Dockerfile

  

  Masashi Yoshikawa

  committed
  61343c2

  Copy full SHA for 61343c2

Commits on Apr 22, 2019

• modify conversion scripts

  kmineshima

  committed
  e3d04b1

  Copy full SHA for e3d04b1

Commits on Apr 9, 2019

• update

  

  Masashi Yoshikawa

  committed
  2493840

  Copy full SHA for 2493840

• update

  

  Masashi Yoshikawa

  committed
  0106e07

  Copy full SHA for 0106e07

Commits on Feb 7, 2019

• support case for biconditionals

  kmineshima

  committed
  cc38bc7

  Copy full SHA for cc38bc7

Commits on Jan 29, 2019

• disable renaming variables

  kmineshima

  committed
  310c552

  Copy full SHA for 310c552

• add --proof output

  kmineshima

  committed
  b63b11d

  Copy full SHA for b63b11d

Commits on Jan 25, 2019

• add ccg2jiggxml.py for converting CCG trees to JIGG xml format

  kmineshima

  committed
  206d401

  Copy full SHA for 206d401

• minor modification

  kmineshima

  committed
  ab30843

  Copy full SHA for ab30843

• support vertical notations

  kmineshima

  committed
  b79b3cd

  Copy full SHA for b79b3cd

• support vertical notations

  kmineshima

  committed
  a16e393

  Copy full SHA for a16e393

Commits on Jan 22, 2019

• remove dependence on python2 in rte_ja_mp.sh

  

  Masashi Yoshikawa

  committed
  2ca9d58

  Copy full SHA for 2ca9d58

Commits on Jan 20, 2019

• remove coq_type from Acc entry

  kmineshima

  committed
  104e653

  Copy full SHA for 104e653

• remove coq_type from Dat entry

  kmineshima

  committed
  7b99ec3

  Copy full SHA for 7b99ec3

Commits on Jan 18, 2019

• make substitution of invalid characters work with axiom construction

  kmineshima

  committed
  e13211b

  Copy full SHA for e13211b

Commits on Jan 1, 2019

• minor modification

  kmineshima

  committed
  4ccd5c8

  Copy full SHA for 4ccd5c8

Commits on Dec 17, 2018

• minor modification

  kmineshima

  committed
  0eed262

  Copy full SHA for 0eed262

Commits on Dec 6, 2018

• add script for converting various formulas

  kmineshima

  committed
  4bcbf3b

  Copy full SHA for 4bcbf3b

• add scripts for converting formulas

  kmineshima

  committed
  aff7595

  Copy full SHA for aff7595

Commits on Nov 6, 2018

• Merge pull request #23 from mynlp/docker

  Show description for 20a10a8
  

  masashi yoshikawa

  authored
  20a10a8

  Copy full SHA for 20a10a8

• add Dockerfile

  

  Yoshikawa Masashi

  committed
  026cb5a

  Copy full SHA for 026cb5a

Commits on Jun 22, 2018

• add osx path to candc parser

  kmineshima

  committed
  8df55d4

  Copy full SHA for 8df55d4

Commits on Jun 19, 2018

• add a script for normal form conversion

  kmineshima

  committed
  242b062

  Copy full SHA for 242b062

Commits on May 22, 2018

• updated README.md

  verypluming

  committed
  76067c5

  Copy full SHA for 76067c5

Commits on May 21, 2018

• fixed a variable name

  kmineshima

  committed
  c5f40cf

  Copy full SHA for c5f40cf

Commits on May 14, 2018

• Updated combination tests with new default template

  pasmargo

  committed
  e5a5d0a

  Copy full SHA for e5a5d0a

• Updated instructions to install C&C syntactic parser

  pasmargo

  committed
  cfd16f6

  Copy full SHA for cfd16f6

• Added script to download and install C&C

  pasmargo

  committed
  01883b7

  Copy full SHA for 01883b7

• Updated MathJax CDN links to cloudflare

  pasmargo

  committed
  d299379

  Copy full SHA for d299379

• Removed unused layer

  pasmargo

  committed
  349392b

  Copy full SHA for 349392b

Pagination

Previous

Next