matita 0.99.3-1+b1 in debian - stretch / main

About

This package is 3.3 MB. It is available at http://ftp.debian.org/debian/pool/main/m/matita/matita_0.99.3-1+b1_amd64.deb .

View its full control file here: debian/control.

Description

interactive theorem prover

Relations

This package depends on: libatk1.0-0 (>= 1.12.4), libc6 (>= 2.15), libcairo2 (>= 1.2.4), libexpat1 (>= 2.0.1), libfontconfig1 (>= 2.11), libfreetype6 (>= 2.2.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglade2-0 (>= 1:2.6.4-2~), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0), libpangocairo-1.0-0 (>= 1.14.0), libpangoft2-1.0-0 (>= 1.14.0), libpcre3, libxml2 (>= 2.6.27), zlib1g (>= 1:1.1.4).

This package recommends: graphviz, yelp.

This package does not suggest any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

matita 0.99.3-1+b1 is in debian - stretch / main. This package's architecture is: amd64.

File Mime Type Owner Mode Size
postinst text/x-shellscript N/A N/A 185 bytes
postrm text/x-shellscript N/A N/A 160 bytes
/usr/ root:root 0o755
/usr/bin/ root:root 0o755
/usr/bin/matita root:root 0o777
/usr/bin/matitac root:root 0o777
/usr/bin/matitaclean root:root 0o777
/usr/bin/matitac.opt application/x-sharedlib root:root 0o755 6.0 MB
/usr/bin/matita.opt application/x-sharedlib root:root 0o755 9.4 MB
/usr/share/ root:root 0o755
/usr/share/applications/ root:root 0o755
/usr/share/applications/matita.desktop text/plain root:root 0o644 181 bytes
/usr/share/doc/ root:root 0o755
/usr/share/doc/matita/ root:root 0o755
/usr/share/doc/matita/changelog.Debian.amd64.gz application/gzip root:root 0o644 222 bytes
/usr/share/doc/matita/changelog.Debian.gz application/gzip root:root 0o644 2.1 KB
/usr/share/doc/matita/changelog.gz application/gzip root:root 0o644 3.1 KB
/usr/share/doc/matita/copyright text/plain root:root 0o644 1.0 KB
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/matitac.1.gz application/gzip root:root 0o644 703 bytes
/usr/share/man/man1/matitaclean.1.gz application/gzip root:root 0o644 711 bytes
/usr/share/man/man1/matitac.opt.1.gz root:root 0o777
/usr/share/matita/ root:root 0o755
/usr/share/matita/AUTHORS text/plain root:root 0o644 232 bytes
/usr/share/matita/closed.xml text/xml root:root 0o644 467 bytes
/usr/share/matita/help/ root:root 0o755
/usr/share/matita/help/C/ root:root 0o755
/usr/share/matita/help/C/declarative_tactics_quickref.xml text/html root:root 0o644 139 bytes
/usr/share/matita/help/C/docbook.css text/plain root:root 0o644 646 bytes
/usr/share/matita/help/C/figures/ root:root 0o755
/usr/share/matita/help/C/figures/database.dia application/gzip root:root 0o644 5.4 KB
/usr/share/matita/help/C/figures/database.png image/png root:root 0o644 14.9 KB
/usr/share/matita/help/C/figures/matita.png image/png root:root 0o644 3.6 KB
/usr/share/matita/help/C/figures/vbox1.png image/png root:root 0o644 65.4 KB
/usr/share/matita/help/C/figures/vbox2.png image/png root:root 0o644 37.5 KB
/usr/share/matita/help/C/figures/vbox35.png image/png root:root 0o644 26.9 KB
/usr/share/matita/help/C/figures/vbox3.png image/png root:root 0o644 23.9 KB
/usr/share/matita/help/C/figures/vbox4.png image/png root:root 0o644 45.9 KB
/usr/share/matita/help/C/figures/vbox5.png image/png root:root 0o644 41.3 KB
/usr/share/matita/help/C/figures/vbox6.png image/png root:root 0o644 6.9 KB
/usr/share/matita/help/C/figures/vbox7.png image/png root:root 0o644 200.2 KB
/usr/share/matita/help/C/legal.xml text/plain root:root 0o644 1.0 KB
/usr/share/matita/help/C/Makefile text/x-makefile root:root 0o644 1.3 KB
/usr/share/matita/help/C/matita.xml text/xml root:root 0o644 8.1 KB
/usr/share/matita/help/C/scripts/ root:root 0o755
/usr/share/matita/help/C/scripts/fix-symbols.sh text/x-shellscript root:root 0o755 123 bytes
/usr/share/matita/help/C/sec_commands.xml text/html root:root 0o644 29.4 KB
/usr/share/matita/help/C/sec_declarative_tactics.xml text/html root:root 0o644 16.1 KB
/usr/share/matita/help/C/sec_gettingstarted.xml text/html root:root 0o644 7.0 KB
/usr/share/matita/help/C/sec_install.xml text/html root:root 0o644 23.5 KB
/usr/share/matita/help/C/sec_intro.xml text/html root:root 0o644 4.1 KB
/usr/share/matita/help/C/sec_license.xml text/html root:root 0o644 149 bytes
/usr/share/matita/help/C/sec_tacticals.xml text/html root:root 0o644 11.7 KB
/usr/share/matita/help/C/sec_tactics.xml text/html root:root 0o644 37.5 KB
/usr/share/matita/help/C/sec_terms.xml text/html root:root 0o644 35.7 KB
/usr/share/matita/help/C/sec_usernotation.xml text/html root:root 0o644 20.2 KB
/usr/share/matita/help/C/tactic_quickref.xml text/html root:root 0o644 151 bytes
/usr/share/matita/help/C/tactics_quickref.xml text/html root:root 0o644 5.8 KB
/usr/share/matita/help/C/TODO text/plain root:root 0o644 373 bytes
/usr/share/matita/help/C/version.txt text/plain root:root 0o644 7 bytes
/usr/share/matita/help/C/version.txt.in text/plain root:root 0o644 17 bytes
/usr/share/matita/help/C/xhtml1-transitional.dtd text/plain root:root 0o644 60.4 KB
/usr/share/matita/help/C/xsl/ root:root 0o755
/usr/share/matita/help/C/xsl/matita-fo.xsl text/xml root:root 0o644 285 bytes
/usr/share/matita/help/C/xsl/matita-xhtml.xsl text/xml root:root 0o644 2.2 KB
/usr/share/matita/help/C/xsl/tactic_quickref.xsl text/html root:root 0o644 1.8 KB
/usr/share/matita/icons/ root:root 0o755
/usr/share/matita/icons/matita-32.xpm image/x-xpmi root:root 0o644 1.7 KB
/usr/share/matita/icons/matita-bulb-high.png image/png root:root 0o644 1.1 KB
/usr/share/matita/icons/matita-bulb-low.png image/png root:root 0o644 1.0 KB
/usr/share/matita/icons/matita-bulb-medium.png image/png root:root 0o644 1.2 KB
/usr/share/matita/icons/matita-folder.png image/png root:root 0o644 706 bytes
/usr/share/matita/icons/matita_medium.png image/png root:root 0o644 12.0 KB
/usr/share/matita/icons/matita-object.png image/png root:root 0o644 893 bytes
/usr/share/matita/icons/matita.png image/png root:root 0o644 17.2 KB
/usr/share/matita/icons/matita_small.png image/png root:root 0o644 4.7 KB
/usr/share/matita/icons/matita-theory.png image/png root:root 0o644 1.3 KB
/usr/share/matita/icons/matita_very_small.png image/png root:root 0o644 3.6 KB
/usr/share/matita/icons/meegg.png image/png root:root 0o644 153.4 KB
/usr/share/matita/icons/whelp.png image/png root:root 0o644 1.0 KB
/usr/share/matita/icons/whelp.svg image/svg+xml root:root 0o644 10.8 KB
/usr/share/matita/lib/ root:root 0o755
/usr/share/matita/lib/arithmetics/ root:root 0o755
/usr/share/matita/lib/arithmetics/bigops.ma text/plain root:root 0o644 15.3 KB
/usr/share/matita/lib/arithmetics/binomial.ma text/plain root:root 0o644 6.6 KB
/usr/share/matita/lib/arithmetics/bounded_quantifiers.ma text/plain root:root 0o644 2.0 KB
/usr/share/matita/lib/arithmetics/chebyshev/ root:root 0o755
/usr/share/matita/lib/arithmetics/chebyshev/bertrand256.ma text/plain root:root 0o644 7.8 KB
/usr/share/matita/lib/arithmetics/chebyshev/bertrand.ma text/plain root:root 0o644 15.2 KB
/usr/share/matita/lib/arithmetics/chebyshev/chebyshev_psi.ma text/plain root:root 0o644 4.4 KB
/usr/share/matita/lib/arithmetics/chebyshev/chebyshev_theta.ma text/plain root:root 0o644 6.9 KB
/usr/share/matita/lib/arithmetics/chebyshev/factorization.ma text/plain root:root 0o644 19.8 KB
/usr/share/matita/lib/arithmetics/chebyshev/psi_bounds.ma text/plain root:root 0o644 16.4 KB
/usr/share/matita/lib/arithmetics/chinese_reminder.ma text/plain root:root 0o644 4.7 KB
/usr/share/matita/lib/arithmetics/congruence.ma text/plain root:root 0o644 3.6 KB
/usr/share/matita/lib/arithmetics/div_and_mod.ma text/plain root:root 0o644 12.0 KB
/usr/share/matita/lib/arithmetics/exp.ma text/plain root:root 0o644 4.9 KB
/usr/share/matita/lib/arithmetics/factorial.ma text/plain root:root 0o644 4.7 KB
/usr/share/matita/lib/arithmetics/fermat_little_theorem.ma text/plain root:root 0o644 6.5 KB
/usr/share/matita/lib/arithmetics/gcd.ma text/plain root:root 0o644 13.3 KB
/usr/share/matita/lib/arithmetics/iteration.ma text/plain root:root 0o644 1.4 KB
/usr/share/matita/lib/arithmetics/log.ma text/plain root:root 0o644 6.8 KB
/usr/share/matita/lib/arithmetics/lstar.ma text/plain root:root 0o644 5.5 KB
/usr/share/matita/lib/arithmetics/minimization.ma text/plain root:root 0o644 10.1 KB
/usr/share/matita/lib/arithmetics/nat_commented.ma text/plain root:root 0o644 9.6 KB
/usr/share/matita/lib/arithmetics/nat.ma text/plain root:root 0o644 23.6 KB
/usr/share/matita/lib/arithmetics/nth_prime.ma text/plain root:root 0o644 6.1 KB
/usr/share/matita/lib/arithmetics/ord.ma text/plain root:root 0o644 12.9 KB
/usr/share/matita/lib/arithmetics/permutation.ma text/plain root:root 0o644 10.5 KB
/usr/share/matita/lib/arithmetics/pidgeon_hole.ma text/plain root:root 0o644 3.6 KB
/usr/share/matita/lib/arithmetics/primes.ma text/plain root:root 0o644 14.2 KB
/usr/share/matita/lib/arithmetics/sigma_pi.ma text/plain root:root 0o644 6.6 KB
/usr/share/matita/lib/arithmetics/sqrt.ma text/plain root:root 0o644 6.7 KB
/usr/share/matita/lib/basics/ root:root 0o755
/usr/share/matita/lib/basics/bool.ma text/plain root:root 0o644 3.4 KB
/usr/share/matita/lib/basics/core_notation.ma text/plain root:root 0o644 10.9 KB
/usr/share/matita/lib/basics/deqsets.ma text/plain root:root 0o644 6.1 KB
/usr/share/matita/lib/basics/finset.ma text/plain root:root 0o644 8.4 KB
/usr/share/matita/lib/basics/jmeq.ma text/plain root:root 0o644 3.1 KB
/usr/share/matita/lib/basics/lists/ root:root 0o755
/usr/share/matita/lib/basics/lists/listb.ma text/plain root:root 0o644 10.4 KB
/usr/share/matita/lib/basics/lists/list.ma text/plain root:root 0o644 23.3 KB
/usr/share/matita/lib/basics/lists/lstar.ma text/plain root:root 0o644 5.5 KB
/usr/share/matita/lib/basics/logic.ma text/plain root:root 0o644 8.6 KB
/usr/share/matita/lib/basics/pts.ma text/plain root:root 0o644 1.2 KB
/usr/share/matita/lib/basics/relations.ma text/plain root:root 0o644 7.3 KB
/usr/share/matita/lib/basics/russell.ma text/plain root:root 0o644 770 bytes
/usr/share/matita/lib/basics/sets.ma text/plain root:root 0o644 3.9 KB
/usr/share/matita/lib/basics/star1.ma text/plain root:root 0o644 14.8 KB
/usr/share/matita/lib/basics/star.ma text/plain root:root 0o644 5.8 KB
/usr/share/matita/lib/basics/types.ma text/plain root:root 0o644 8.0 KB
/usr/share/matita/lib/basics/vector_finset.ma text/plain root:root 0o644 2.5 KB
/usr/share/matita/lib/basics/vectors.ma text/plain root:root 0o644 7.0 KB
/usr/share/matita/lib/binding/ root:root 0o755
/usr/share/matita/lib/binding/db.ma text/plain root:root 0o644 4.4 KB
/usr/share/matita/lib/binding/fp.ma text/plain root:root 0o644 9.6 KB
/usr/share/matita/lib/binding/ln_concrete.ma text/plain root:root 0o644 25.2 KB
/usr/share/matita/lib/binding/ln.ma text/plain root:root 0o644 27.3 KB
/usr/share/matita/lib/binding/names.ma text/plain root:root 0o644 2.6 KB
/usr/share/matita/lib/extraction.ma text/plain root:root 0o644 6.2 KB
/usr/share/matita/lib/fail.txt text/plain root:root 0o644 1.8 KB
/usr/share/matita/lib/finite_lambda/ root:root 0o755
/usr/share/matita/lib/finite_lambda/confluence.ma text/plain root:root 0o644 9.5 KB
/usr/share/matita/lib/finite_lambda/reduction.ma text/plain root:root 0o644 10.8 KB
/usr/share/matita/lib/finite_lambda/terms_and_types.ma text/plain root:root 0o644 11.3 KB
/usr/share/matita/lib/finite_lambda/typing.ma text/plain root:root 0o644 8.8 KB
/usr/share/matita/lib/formal_topology/ root:root 0o755
/usr/share/matita/lib/formal_topology/apply_functor.ma text/plain root:root 0o644 4.8 KB
/usr/share/matita/lib/formal_topology/basic_pairs.ma text/plain root:root 0o644 8.2 KB
/usr/share/matita/lib/formal_topology/basic_pairs_to_basic_topologies.ma text/plain root:root 0o644 2.6 KB
/usr/share/matita/lib/formal_topology/basic_pairs_to_o-basic_pairs.ma text/plain root:root 0o644 6.7 KB
/usr/share/matita/lib/formal_topology/basic_topologies.ma text/plain root:root 0o644 9.4 KB
/usr/share/matita/lib/formal_topology/basic_topologies_to_o-basic_topologies.ma text/plain root:root 0o644 4.0 KB
/usr/share/matita/lib/formal_topology/categories.ma text/plain root:root 0o644 19.8 KB
/usr/share/matita/lib/formal_topology/concrete_spaces.ma text/plain root:root 0o644 4.3 KB
/usr/share/matita/lib/formal_topology/concrete_spaces_to_o-concrete_spaces.ma text/plain root:root 0o644 2.3 KB
/usr/share/matita/lib/formal_topology/cprop_connectives.ma text/plain root:root 0o644 7.3 KB
/usr/share/matita/lib/formal_topology/formal_topologies.ma text/plain root:root 0o644 3.8 KB
/usr/share/matita/lib/formal_topology/notation.ma text/plain root:root 0o644 1.2 KB
/usr/share/matita/lib/formal_topology/o-algebra.ma text/plain root:root 0o644 17.3 KB
/usr/share/matita/lib/formal_topology/o-basic_pairs.ma text/plain root:root 0o644 9.3 KB
/usr/share/matita/lib/formal_topology/o-basic_pairs_to_o-basic_topologies.ma text/plain root:root 0o644 5.5 KB
/usr/share/matita/lib/formal_topology/o-basic_topologies.ma text/plain root:root 0o644 8.8 KB
/usr/share/matita/lib/formal_topology/o-concrete_spaces.ma text/plain root:root 0o644 5.3 KB
/usr/share/matita/lib/formal_topology/o-formal_topologies.ma text/plain root:root 0o644 3.8 KB
/usr/share/matita/lib/formal_topology/o-saturations.ma text/plain root:root 0o644 1.9 KB
/usr/share/matita/lib/formal_topology/relations.ma text/plain root:root 0o644 13.6 KB
/usr/share/matita/lib/formal_topology/relations_to_o-algebra.ma text/plain root:root 0o644 12.0 KB
/usr/share/matita/lib/formal_topology/replace.sh text/x-shellscript root:root 0o644 241 bytes
/usr/share/matita/lib/formal_topology/r-o-basic_pairs.ma text/plain root:root 0o644 9.8 KB
/usr/share/matita/lib/formal_topology/saturations.ma text/plain root:root 0o644 1.8 KB
/usr/share/matita/lib/formal_topology/saturations_to_o-saturations.ma text/plain root:root 0o644 1.6 KB
/usr/share/matita/lib/formal_topology/subsets.ma text/plain root:root 0o644 7.2 KB
/usr/share/matita/lib/hints_declaration.ma text/plain root:root 0o644 4.8 KB
/usr/share/matita/lib/hott/ root:root 0o755
/usr/share/matita/lib/hott/notations.ma text/plain root:root 0o644 10.7 KB
/usr/share/matita/lib/hott/Overture.ma text/plain root:root 0o644 22.8 KB
/usr/share/matita/lib/hott/PathGroupoids.ma text/plain root:root 0o644 25.9 KB
/usr/share/matita/lib/hott/pts.ma text/plain root:root 0o644 1.2 KB
/usr/share/matita/lib/hott/types.ma text/plain root:root 0o644 1.2 KB
/usr/share/matita/lib/inconsistent.ma text/plain root:root 0o644 1.3 KB
/usr/share/matita/lib/Makefile text/x-makefile root:root 0o644 655 bytes
/usr/share/matita/lib/MONADS/ root:root 0o755
/usr/share/matita/lib/MONADS/speranza2.ma text/plain root:root 0o644 3.8 KB
/usr/share/matita/lib/MONADS/speranza.ma text/plain root:root 0o644 5.1 KB
/usr/share/matita/lib/preamble.hs text/plain root:root 0o644 187 bytes
/usr/share/matita/lib/preamble.ml text/plain root:root 0o644 64 bytes
/usr/share/matita/lib/pts_dummy/ root:root 0o755
/usr/share/matita/lib/pts_dummy/arity_eval.ma text/plain root:root 0o644 10.0 KB
/usr/share/matita/lib/pts_dummy/arity.ma text/plain root:root 0o644 6.7 KB
/usr/share/matita/lib/pts_dummy/CC2FO_K_cube.ma text/plain root:root 0o644 1.3 KB
/usr/share/matita/lib/pts_dummy/CC2FO_K.ma text/plain root:root 0o644 6.5 KB
/usr/share/matita/lib/pts_dummy/convertibility.ma text/plain root:root 0o644 2.5 KB
/usr/share/matita/lib/pts_dummy/cube.ma text/plain root:root 0o644 1.8 KB
/usr/share/matita/lib/pts_dummy/degree.ma text/plain root:root 0o644 6.3 KB
/usr/share/matita/lib/pts_dummy/ext_lambda.ma text/plain root:root 0o644 3.0 KB
/usr/share/matita/lib/pts_dummy/ext.ma text/plain root:root 0o644 4.6 KB
/usr/share/matita/lib/pts_dummy/inversion.ma text/plain root:root 0o644 4.0 KB
/usr/share/matita/lib/pts_dummy/lambda_notation.ma text/plain root:root 0o644 3.2 KB
/usr/share/matita/lib/pts_dummy/lift.ma text/plain root:root 0o644 4.3 KB
/usr/share/matita/lib/pts_dummy_new/ root:root 0o755
/usr/share/matita/lib/pts_dummy_new/arity_eval.ma text/plain root:root 0o644 10.0 KB
/usr/share/matita/lib/pts_dummy_new/arity.ma text/plain root:root 0o644 6.7 KB
/usr/share/matita/lib/pts_dummy_new/convertibility.ma text/plain root:root 0o644 2.5 KB
/usr/share/matita/lib/pts_dummy_new/cube.ma text/plain root:root 0o644 1.8 KB
/usr/share/matita/lib/pts_dummy_new/ext_lambda.ma text/plain root:root 0o644 3.0 KB
/usr/share/matita/lib/pts_dummy_new/ext.ma text/plain root:root 0o644 4.6 KB
/usr/share/matita/lib/pts_dummy_new/inversion.ma text/plain root:root 0o644 4.3 KB
/usr/share/matita/lib/pts_dummy_new/lambda_notation.ma text/plain root:root 0o644 2.9 KB
/usr/share/matita/lib/pts_dummy_new/par_reduction.ma text/plain root:root 0o644 9.3 KB
/usr/share/matita/lib/pts_dummy_new/rc_eval.ma text/plain root:root 0o644 5.3 KB
/usr/share/matita/lib/pts_dummy_new/rc_hsat.ma text/plain root:root 0o644 2.4 KB
/usr/share/matita/lib/pts_dummy_new/rc_sat.ma text/plain root:root 0o644 5.7 KB
/usr/share/matita/lib/pts_dummy_new/reduction.ma text/plain root:root 0o644 11.6 KB
/usr/share/matita/lib/pts_dummy_new/sn.ma text/plain root:root 0o644 2.6 KB
/usr/share/matita/lib/pts_dummy_new/subject.ma text/plain root:root 0o644 8.1 KB
/usr/share/matita/lib/pts_dummy_new/subst.ma text/plain root:root 0o644 9.8 KB
/usr/share/matita/lib/pts_dummy_new/subterms.ma text/plain root:root 0o644 4.4 KB
/usr/share/matita/lib/pts_dummy_new/terms.ma text/plain root:root 0o644 1.7 KB
/usr/share/matita/lib/pts_dummy_new/thinning.ma text/plain root:root 0o644 4.1 KB
/usr/share/matita/lib/pts_dummy_new/types.ma text/plain root:root 0o644 6.2 KB
/usr/share/matita/lib/pts_dummy/par_reduction.ma text/plain root:root 0o644 9.6 KB
/usr/share/matita/lib/pts_dummy/rc_eval.ma text/plain root:root 0o644 5.3 KB
/usr/share/matita/lib/pts_dummy/rc_hsat.ma text/plain root:root 0o644 2.4 KB
/usr/share/matita/lib/pts_dummy/rc_sat.ma text/plain root:root 0o644 5.7 KB
/usr/share/matita/lib/pts_dummy/reduction.ma text/plain root:root 0o644 11.0 KB
/usr/share/matita/lib/pts_dummy/sn.ma text/plain root:root 0o644 2.6 KB
/usr/share/matita/lib/pts_dummy/subject.ma text/plain root:root 0o644 7.8 KB
/usr/share/matita/lib/pts_dummy/subst.ma text/plain root:root 0o644 7.4 KB
/usr/share/matita/lib/pts_dummy/subterms.ma text/plain root:root 0o644 4.3 KB
/usr/share/matita/lib/pts_dummy/terms.ma text/plain root:root 0o644 1.6 KB
/usr/share/matita/lib/pts_dummy/types.ma text/plain root:root 0o644 6.2 KB
/usr/share/matita/lib/re/ root:root 0o755
/usr/share/matita/lib/re/lang.ma text/plain root:root 0o644 4.8 KB
/usr/share/matita/lib/re/moves.ma text/plain root:root 0o644 23.6 KB
/usr/share/matita/lib/re/reb.ma text/plain root:root 0o644 31.3 KB
/usr/share/matita/lib/re/re.ma text/plain root:root 0o644 26.0 KB
/usr/share/matita/lib/reverse_complexity/ root:root 0o755
/usr/share/matita/lib/reverse_complexity/big_O.ma text/plain root:root 0o644 2.8 KB
/usr/share/matita/lib/reverse_complexity/gap.ma text/plain root:root 0o644 7.8 KB
/usr/share/matita/lib/reverse_complexity/hierarchy.ma text/plain root:root 0o644 17.6 KB
/usr/share/matita/lib/reverse_complexity/speed_clean.ma text/plain root:root 0o644 38.5 KB
/usr/share/matita/lib/reverse_complexity/speed_def.ma text/plain root:root 0o644 33.7 KB
/usr/share/matita/lib/reverse_complexity/speed_new.ma text/plain root:root 0o644 33.7 KB
/usr/share/matita/lib/reverse_complexity/toolkit.ma text/plain root:root 0o644 35.9 KB
/usr/share/matita/lib/root text/plain root:root 0o644 21 bytes
/usr/share/matita/lib/self_typing.ma text/plain root:root 0o644 1.1 KB
/usr/share/matita/lib/turing/ root:root 0o755
/usr/share/matita/lib/turing/auxiliary_machines1.ma text/plain root:root 0o644 9.2 KB
/usr/share/matita/lib/turing/auxiliary_machines.ma text/plain root:root 0o644 4.9 KB
/usr/share/matita/lib/turing/auxiliary_multi_machines.ma text/plain root:root 0o644 22.8 KB
/usr/share/matita/lib/turing/basic_machines.ma text/plain root:root 0o644 21.1 KB
/usr/share/matita/lib/turing/basic_multi_machines.ma text/plain root:root 0o644 22.4 KB
/usr/share/matita/lib/turing/complexity.ma text/plain root:root 0o644 2.5 KB
/usr/share/matita/lib/turing/if_machine.ma text/plain root:root 0o644 19.7 KB
/usr/share/matita/lib/turing/if_multi.ma text/plain root:root 0o644 20.3 KB
/usr/share/matita/lib/turing/inject.ma text/plain root:root 0o644 5.9 KB
/usr/share/matita/lib/turing/mono.ma text/plain root:root 0o644 25.4 KB
/usr/share/matita/lib/turing/move_char.ma text/plain root:root 0o644 11.3 KB
/usr/share/matita/lib/turing/multi_to_mono/ root:root 0o755
/usr/share/matita/lib/turing/multi_to_mono/exec_moves.ma text/plain root:root 0o644 3.9 KB
/usr/share/matita/lib/turing/multi_to_mono/exec_trace_move.ma text/plain root:root 0o644 16.1 KB
/usr/share/matita/lib/turing/multi_to_mono/full.ma text/plain root:root 0o644 3.1 KB
/usr/share/matita/lib/turing/multi_to_mono/multi_to_mono.ma text/plain root:root 0o644 16.6 KB
/usr/share/matita/lib/turing/multi_to_mono/shift_trace_aux.ma text/plain root:root 0o644 6.1 KB
/usr/share/matita/lib/turing/multi_to_mono/shift_trace.ma text/plain root:root 0o644 17.8 KB
/usr/share/matita/lib/turing/multi_to_mono/step.ma text/plain root:root 0o644 12.2 KB
/usr/share/matita/lib/turing/multi_to_mono/trace_alphabet.ma text/plain root:root 0o644 9.3 KB
/usr/share/matita/lib/turing/multi_universal/ root:root 0o755
/usr/share/matita/lib/turing/multi_universal/alphabet.ma text/plain root:root 0o644 1.9 KB
/usr/share/matita/lib/turing/multi_universal/binaryTM.ma text/plain root:root 0o644 64.9 KB
/usr/share/matita/lib/turing/multi_universal/match.ma text/plain root:root 0o644 37.2 KB
/usr/share/matita/lib/turing/multi_universal/normalTM.ma text/plain root:root 0o644 6.9 KB
/usr/share/matita/lib/turing/multi_universal/tuples.ma text/plain root:root 0o644 8.8 KB
/usr/share/matita/lib/turing/multi_universal/unistep_aux.ma text/plain root:root 0o644 19.7 KB
/usr/share/matita/lib/turing/multi_universal/unistep.ma text/plain root:root 0o644 19.0 KB
/usr/share/matita/lib/turing/multi_universal/universal.ma text/plain root:root 0o644 4.6 KB
/usr/share/matita/lib/turing/ntm.ma text/plain root:root 0o644 4.1 KB
/usr/share/matita/lib/turing/oracle.ma text/plain root:root 0o644 3.1 KB
/usr/share/matita/lib/turing/turing.ma text/plain root:root 0o644 18.3 KB
/usr/share/matita/lib/turing/turing_old.ma text/plain root:root 0o644 3.7 KB
/usr/share/matita/lib/turing/universal.ma text/plain root:root 0o644 8.1 KB
/usr/share/matita/lib/turing/while_machine.ma text/plain root:root 0o644 7.3 KB
/usr/share/matita/lib/turing/while_multi.ma text/plain root:root 0o644 7.5 KB
/usr/share/matita/lib/turing/wmono.ma text/plain root:root 0o644 13.2 KB
/usr/share/matita/lib/tutorial/ root:root 0o755
/usr/share/matita/lib/tutorial/chapter10.ma text/plain root:root 0o644 11.9 KB
/usr/share/matita/lib/tutorial/chapter11.ma text/plain root:root 0o644 16.5 KB
/usr/share/matita/lib/tutorial/chapter12.ma text/plain root:root 0o644 22.2 KB
/usr/share/matita/lib/tutorial/chapter13.ma text/plain root:root 0o644 41.1 KB
/usr/share/matita/lib/tutorial/chapter1.ma text/plain root:root 0o644 18.3 KB
/usr/share/matita/lib/tutorial/chapter2.ma text/plain root:root 0o644 15.7 KB
/usr/share/matita/lib/tutorial/chapter3.ma text/plain root:root 0o644 25.7 KB
/usr/share/matita/lib/tutorial/chapter4.ma text/plain root:root 0o644 24.5 KB
/usr/share/matita/lib/tutorial/chapter5.ma text/plain root:root 0o644 15.5 KB
/usr/share/matita/lib/tutorial/chapter6.ma text/plain root:root 0o644 19.4 KB
/usr/share/matita/lib/tutorial/chapter7.ma text/plain root:root 0o644 6.8 KB
/usr/share/matita/lib/tutorial/chapter8.ma text/plain root:root 0o644 11.7 KB
/usr/share/matita/lib/tutorial/chapter9.ma text/plain root:root 0o644 13.2 KB
/usr/share/matita/LICENSE text/plain root:root 0o644 916 bytes
/usr/share/matita/matita.conf.xml text/xml root:root 0o644 4.6 KB
/usr/share/matita/matita.gtkrc text/x-c++ root:root 0o644 2.5 KB
/usr/share/matita/matita.lang text/xml root:root 0o644 6.6 KB
/usr/share/matita/matita.ma.templ text/plain root:root 0o644 1002 bytes
/usr/share/menu/ root:root 0o755
/usr/share/menu/matita text/plain root:root 0o644 224 bytes

APT Browse - Built by Thomas Orozco.