Skip to content

Commit

Permalink
notes
Browse files Browse the repository at this point in the history
  • Loading branch information
BostX committed Nov 16, 2024
1 parent c318ffe commit a6f371d
Showing 1 changed file with 11 additions and 0 deletions.
11 changes: 11 additions & 0 deletions notes/bric_a_brac.scrbl
Original file line number Diff line number Diff line change
@@ -1,5 +1,16 @@
#lang notes

@block{@block-name{ChatGPT Raccourcis clavier}
| Ouvrir un nouveau chat | Ctrl Shift o |
| Focus sur la saisie dans le chat | Shift Esc |
| Copier le dernier bloc de code | Ctrl Shift ; |
| Copier la dernière réponse | Ctrl Shift c |
| Définir des instructions personnalisées | Ctrl Shift i |
| Activer/désactiver la barre latérale | Ctrl Shift s |
| Supprimer le chat | Ctrl Shift <backspace> |
| Afficher les raccourcis | Ctrl / |
}

@block{@block-name{An arbitrary precision calculators}
Coq can be compiled to OCaml?
Write part of your program in Coq and prove its correctness, and then write
Expand Down

0 comments on commit a6f371d

Please sign in to comment.