Flatsonar

jape

by RBornat

Jape, a configurable proof editor (best at natural deduction and sequent calculus)

Broad permissions Unverified publisher GPL-2.0
Install Source code

About

Jape, a configurable proof editor (best at natural deduction and sequent calculus)

Permissions

2 permissions weaken the sandbox. Flatsonar asks before installing.

  • X11 display: X11 lets apps read input and windows of other apps
    --socket=x11
  • full access to your home folder
    --filesystem=home
  • inter-process communication (needed for X11)
    --share=ipc
  • Wayland display
    --socket=wayland
  • access to ~/.java/.userPrefs
    --filesystem=~/.java/.userPrefs:create

Who publishes this

Nobody has confirmed that the publisher controls this app id. Flatsonar warns before installing.

  • uk.org.jape claims the domain org.uk; only its owner can prove that
    publisher:namespace

Maintenance

Recent activity on the upstream repository, or built and reviewed by Flathub.

No staleness signals: recent activity, or built and reviewed by Flathub.